* should tooltip face be variable-pitch ?
@ 2003-07-22 15:13 John Paul Wallington
2003-07-23 7:14 ` Richard Stallman
0 siblings, 1 reply; 2+ messages in thread
From: John Paul Wallington @ 2003-07-22 15:13 UTC (permalink / raw
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)
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: should tooltip face be variable-pitch ?
2003-07-22 15:13 should tooltip face be variable-pitch ? John Paul Wallington
@ 2003-07-23 7:14 ` Richard Stallman
0 siblings, 0 replies; 2+ messages in thread
From: Richard Stallman @ 2003-07-23 7:14 UTC (permalink / raw
Cc: emacs-devel
Please install it.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2003-07-23 7:14 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2003-07-22 15:13 should tooltip face be variable-pitch ? John Paul Wallington
2003-07-23 7:14 ` Richard Stallman
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).