[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
should tooltip face be variable-pitch ?
From: |
John Paul Wallington |
Subject: |
should tooltip face be variable-pitch ? |
Date: |
Tue, 22 Jul 2003 16:13:43 +0100 |
How about changing the tooltip face to be variable-pitch rather than
monospaced? That would make Emacs tooltips look more like the
tooltips of other programs. WDYT?
diff -u -r1.32 tooltip.el
--- tooltip.el 4 Feb 2003 12:09:56 -0000 1.32
+++ tooltip.el 22 Jul 2003 15:07:58 -0000
@@ -113,8 +113,11 @@
(defface tooltip
'((((class color))
- (:background "lightyellow" :foreground "black"))
- (t ()))
+ :background "lightyellow"
+ :foreground "black"
+ :inherit variable-pitch)
+ (t
+ :inherit variable-pitch))
"Face for tooltips."
:group 'tooltip)
- should tooltip face be variable-pitch ?,
John Paul Wallington <=