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