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.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: fixed
Status: newclosed

Fixed. Caused by clash with Unicode Tokens (which promptly turned off X-Symbol output again when it wasn't enabled itself!)

Note: See TracTickets for help on using tickets.