Opened 16 years ago
Closed 16 years ago
#201 closed defect (fixed)
X-Symbol only half enabled (Emacs: yes, prover: no)
Reported by: | Makarius | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-3.7.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Linux (SuSE or Ubuntu) and xemacs-21.4.x
Running the isabelle-interface script with option -x true (for X-Symbols) does not fully enable xsymbols mode; in the Emacs buffer symbols are rendered as expected, but the prover does not have the "xsymbols" print_mode enabled.
After manual disabling and re-enabling in the PG/Options menu, xsymbols work as expected.
Note: See
TracTickets for help on using
tickets.
Fixed. Caused by clash with Unicode Tokens (which promptly turned off X-Symbol output again when it wasn't enabled itself!)