>> That doesn't sound right: tool-bar-mode is enabled globally by default,
>> so forcefully re-enabling it can only undo the user's preference.
> Recent versions of http://emacsformacosx.com/ disable the toolbar by
> default.

Hmm... this should be a vanilla Emacs, so it sounds like a bug: vanilla
Emacs enables the tool bar by default.  Could you report it via M-x
report-emacs-bug, please?

> David has also raised the issue of "Emacs user preferences" before, which
> I could not think of myself, because these days there are hardly any genuine

To the extent that (as David explained) this is in a file which is not
loaded by "genuine Emacs users" it's probably not that big of a deal.

ProofGeneral-devel mailing list

Reply via email to