diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 13:42:17 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 13:42:17 +0000 |
| commit | 7160379d24194aff10fb59a6fcee5239abebf9e6 (patch) | |
| tree | 9675ce97627c38e56dc7fa75c53ec1c0519bd2a1 /tikzit/src/gtk/ToolBox.h | |
| parent | d004529a2b71770ef7f68de81ce2ac3efd7d8686 (diff) | |
Use a toolpalette that demands enough space
GtkToolPalette will not request a minimum amount of space by default.
Steal some code from the GIMP to always ensure we have enough space for
the tools.
Diffstat (limited to 'tikzit/src/gtk/ToolBox.h')
0 files changed, 0 insertions, 0 deletions