Non-persistance of Unicode Tokens / Math Menu (Carbon Emacs 1.6.0)

[Makarius]

Using native Carbon Emacs 1.6.0 on Mac OS 10.4.x the Unicode Tokens and Unicode Math Menu custom settings do not really persist.

For example: start Proof General (via isar/interface script), then enable both options --- works fine. Now safe safe options: resulting .emacs file only holds information for isar-maths-menu-enable and when restarting PG/Emacs only this option is enabled. After editing the .emacs file to set isar-unicode-tokens-enable as well, the corresponding menu item is ticked, but shaded, i.e. cannot be changed. Moreover, neither this mode nor the math menu are enabled.

[David Aspinall]

Thanks for the report. Not just Carbon! A generic problem, initialisation code needed to be loaded earlier (and Unicode Tokens option was not saved). Now fixed in CVS.