So it shouldn't be 0.75 as that is too small with 9x15. What about
0.8? It is reasonable with both fonts I tried, although the effect is
less pronounced with the `default' font on Ubuntu.What do others think? _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
