should tooltip face be variable-pitch ?

[John Paul Wallington]

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)