>> 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
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
> 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