Opened 16 years ago
Closed 15 years ago
#235 closed defect (fixed)
Emacs forgets unicode tokens option
| Reported by: | Clemens Ballarin | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
ProofGeneral > Save Options doesn't make PG remember that "Unicode tokens" was set in a previous session. (This used to work previously.)
Change History (2)
comment:1 Changed 16 years ago by
comment:2 Changed 15 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
This seems to be fixed now (works for me). Could you reopen if still not working for you?
Note: See
TracTickets for help on using
tickets.
Replying to ballarin:
I just checked my .emacs file, and it turns out that '(isar-unicode-tokens-enable t) is present.