[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
font of menus
From: |
Friedrich Laher |
Subject: |
font of menus |
Date: |
Tue, 23 Aug 2005 12:54:46 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 |
is ther no way to influence the font of menus?
The
following does not work
(global-font-lock-mode -1)
(setq k "Kategorie")
(set-face-font 'modeline "12*24")
(put-text-property 0 9 'face 'modeline k)
(x-popup-menu t
(list k
'("" ("Computer" . "c")("Warmduscher" . "d")
("Ereignis" . "e")("Fernsehen" . "f")
("Ort" . "o")("Person" . "p")
("Reisen" . "r")("Sport" . "s")
("Sprichwort" . "w")
) )
)
- font of menus,
Friedrich Laher <=