Andreas Schwab wrote:

I'd also suggest to make the tooltip face specify a font height of 75%.
Why? If that is easily readable why not make the default font smaller instead?


_______________________________________________
Emacs-devel mailing list
Emacs-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-devel

Reply via email to