Hints and tips for users of Proof General for Emacs

tip Removing GUI clutter for Keyboard Purists

I just spent a bunch of time getting rid of menu/tool/scroll bars on all the various Proof General windows. It's not easy, believe me! Here's the lisp hacking that's involved. Though I imagine that not all of this is necessary, it seems to do the trick.

From: Sean McLaughlin on isabelle-users at cl.cam.ac.uk, January 2006.

%CODE{"scheme"}% ;; tool/scroll bars (set-specifier menubar-visible-p nil) (set-specifier default-toolbar-visible-p nil) (set-specifier vertical-scrollbar-visible-p nil) (set-specifier horizontal-scrollbar-visible-p nil) (set-specifier default-toolbar nil) (setq default-menubar nil) (set-menubar nil) (setq proof-toolbar-enable nil) (setq proof-toolbar-use-button-enablers nil) (setq toolbar-visible-p nil) %ENDCODE%

Running on non-Linux Platforms

See:

Topic revision: r4 - 23 Aug 2006 - 19:07:35 - DavidAspinall
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies