> --- 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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to