tool-bar-button margin / extra offset in tool-bar

tool-bar-button margin / extra offset in tool-bar

[David Reitter]

[-- Attachment #1: Type: text/plain, Size: 253 bytes --]

Hi,

how would I go about setting the tool-bar-button-margin so that there  
is no ugly grey space between the real tool-bar and the text area?

To illustrate what I mean, I'm attaching two small screenshots - one  
without the grey area, one with it.


[-- Attachment #2: pastedGraphic.png --]
[-- Type: image/png, Size: 6011 bytes --]

[-- Attachment #3: Type: text/plain, Size: 6 bytes --]

  
   

[-- Attachment #4: pastedGraphic.png --]
[-- Type: image/png, Size: 6196 bytes --]

[-- Attachment #5: Type: text/plain, Size: 484 bytes --]


Troubleshooting this, I have found out that "good" values for the  
vertical component of tool-bar-button-margin are multiples of the  
frame char height (div 2). The following figures are examples (good  
values, vs. frame char height):

6 + n*10    20
0 + n*7        14
2 + n*8     16
4 + n*6      12
1 + n*7.5      15

The offset is what I'm stuck with. Where does that come from?

I've tried finding clues in xdisp.c and found it impenetrable.

Thanks very much for any help.




[-- Attachment #6: Type: text/plain, Size: 152 bytes --]

_______________________________________________
Help-gnu-emacs mailing list
Help-gnu-emacs@gnu.org
http://lists.gnu.org/mailman/listinfo/help-gnu-emacs