Opened 17 years ago

Last modified 11 years ago

#79 new enhancement

Improve symbols: support table inclusions; add Mac and Windows overrides

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description (last modified by David Aspinall)

Present Isabelle.sym file works well on Linux/Fedora? Core 6. We should use this as a default and add further files with overrides for different platforms:

  • Isabelle-Mac.sym as an override (e.g. on long arrows and several more symbols)
  • Isabelle-Win.sym as an override (I don't have Windows, so can't write this)

The code has some low-level testing attempt to see if a symbol is supported in a font, but this is problematic so has been disabled. Manual configuration of symbols seems like the safest bet for now.

We need to support several tables. Perhaps the easiest way is to add a directive:

  • <includesymbolfile name="config/Isabelle.sym">

to the symbol table DTD. File may be absolute or installation-relative. The symbol table editor needs to support table inclusion, also comment elements. It should be possible to load the default tables, create an empty table, as well as select the project-specific table. This should be set as a project-specific property. The present workspace-specific preference may be used as the default; however we would like to select the default by examining the platform (which requires dynamic defaults, see #78).

Change History (2)

comment:1 Changed 17 years ago by David Aspinall

Description: modified (diff)

The starting points for this have been added: see the symbol table DTD in config/symbols, and includeSymbolFile in !HTMLSymbols.java

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.