PGEmacsUserHints < PG

PG Web>ProofGeneralEmacs>PGEmacsUserHints (23 Aug 2006, DavidAspinall) (raw view)EditAttach

---+ Hints and tips for users of Proof General for Emacs

---++  %ICON{"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 <nop>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:

   * PGEmacsOnWindowsXP
   * PGEmacsOnMacOSX

Topic revision: r4 - 23 Aug 2006 - 19:07:35 - DavidAspinall

Copyright © 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