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/Makefile.am | |
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/Makefile.am')
-rw-r--r-- | tikzit/src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tikzit/src/Makefile.am b/tikzit/src/Makefile.am index 8d51c60..e997409 100644 --- a/tikzit/src/Makefile.am +++ b/tikzit/src/Makefile.am @@ -70,6 +70,7 @@ tikzit_SOURCES = gtk/Application.m \ gtk/mkdtemp.m \ gtk/main.m \ gtk/tzstockitems.m \ + gtk/tztoolpalette.m \ common/CircleShape.m \ common/ColorRGB.m \ common/DiamondShape.m \ |