#487 Adaptive Button-Size in the Toolbar

[Hans Bauer]

To enable more buttons in the toolbar i created my own button-set with a reduced size of each 16*16. But substituting all jEdit-buttons with my smaller buttons did not demagnify the button-size in the toolbar as you can see in png-file given with the link below.

It would be great if the button-size in the toolbar automatically could adapt the size of the given buttons.

http://external.bplaced.net/Buttons-jEdit.png