Katsumi Yamaoka skrev:
tool-bar-button-margin to zero was a bug, I've fixed that. However, the
default for Gtk is 0, it looks best.
Thank you for fixing it. Although it takes time to settle the
shape when I change the value of `tool-bar-button-margin', and
the value 4 or less seems to be treated as 0. That's ok.
I can't see any "settling" at all when changing tool-bar-button-margin. It is
very fast. Maybe there is a difference in Gtk+-versions?
The default tool-bar-button-margin is 4 for the native tool bar, but that
looks horrible with the Gtk tool bar. So 4 and below is really 0. 5 is
really 1 and so on.
Jan D.
_______________________________________________
emacs-pretest-bug mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
