On Mon, 19 Sep 2011, Stefan Monnier wrote:

--- a/isar/interface-setup.el   Fri Sep 16 10:00:13 2011 +0000
+++ b/isar/interface-setup.el   Sat Sep 17 15:03:27 2011 +0000
@@ -11,6 +11,12 @@

+;; Tool bar
+(if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
 ;; Unicode

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. For Isabelle2011 it has required quite some time to figure out what was wrong, then I've added the above to the bundled version of our distribution (no users ever complained about it).

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 Emacs users left. More than 99% of Isabelle / Proof General users are becoming Emacs users only by accident, i.e. do not have there own Emacs preferences.

I do not insist in any such Isabelle bundle defaults to be part of the PG CVS. It merely means I had to apply some patches for the Isabelle bundle again -- which is not done at this very moment thanks to the above change.

ProofGeneral-devel mailing list

Reply via email to