> --- 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.
Stefan
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
