diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 19:09:06 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 19:09:06 +0000 |
| commit | 58ceedc38ed430535508360adde7b5b6d76b08e6 (patch) | |
| tree | e43e8fc2e63f00ff7945bb1bd6d1c3e41b3f5e1d /tikzit/src/Makefile.am | |
| parent | 5ac1d383d2a89d22fbf54d688d64bf6a1036df6b (diff) | |
Allow node and edge styles to be applied to selection
Brings back some old functionality, but in a more compact way.
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 6890928..b0e9e59 100644 --- a/tikzit/src/Makefile.am +++ b/tikzit/src/Makefile.am @@ -59,6 +59,7 @@ tikzit_SOURCES = gtk/Application.m \ gtk/PropertyListEditor.m \ gtk/RecentManager.m \ gtk/SelectTool.m \ + gtk/SelectionPane.m \ gtk/Shape+Render.m \ gtk/StyleManager+Storage.m \ gtk/TikzDocument.m \ |