-
Alvin Wong authored
This allows the toolbox to be scrolled with the mouse wheel if there isn't enough space to display all the tool icons.
81c39388
This allows the toolbox to be scrolled with the mouse wheel if there isn't enough space to display all the tool icons.