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 )
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).
The starting points for this have been added: see the symbol table DTD in config/symbols, and includeSymbolFile in !HTMLSymbols.java