[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make GUI look better
From: |
Pavel Janík |
Subject: |
Re: Make GUI look better |
Date: |
Tue, 23 Apr 2002 18:52:44 +0200 |
User-agent: |
Gnus/5.090006 (Oort Gnus v0.06) Emacs/21.2.50 (i386-suse-linux-gnu) |
From: Richard Stallman <address@hidden>
Date: Sun, 21 Apr 2002 14:02:10 -0600 (MDT)
> The new version looks a little better to me,
> but I am no expert on this sort of thing,
> so I will defer to others' opinion.
If you'd like to try it, here are excepts of my config files:
Resources:
----------
emacs.pane.menubar.verticalSpacing: 2
emacs.pane.menubar.shadowThickness: 1
emacs.pane.menubar.margin: 1
emacs.pane.menubar.arrowSpacing: 1
emacs.menu*.verticalSpacing: 2
emacs.menu*.shadowThickness: 1
emacs.menu*.margin: 1
.emacs:
-------
(setq tool-bar-button-margin 4)
(setq tool-bar-button-relief 1)
--
Pavel Janík
In theory, practice and theory are the same, but in practice they are
different.
-- Larry McVoy