diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 15:12:52 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 15:12:52 +0000 |
commit | 815535a6159b8832dcc26554e5543cba1a020cbd (patch) | |
tree | 75d7b8626c1f0ec4086e52f1d1c362b1a813d6b1 /tikzit/src/gtk/CreateEdgeTool.h | |
parent | 08c3207530816bc00efc9d6962eb44c0e9222221 (diff) |
Improve config panels for create node/edge tools
Diffstat (limited to 'tikzit/src/gtk/CreateEdgeTool.h')
-rw-r--r-- | tikzit/src/gtk/CreateEdgeTool.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tikzit/src/gtk/CreateEdgeTool.h b/tikzit/src/gtk/CreateEdgeTool.h index cd5787b..cb6c73d 100644 --- a/tikzit/src/gtk/CreateEdgeTool.h +++ b/tikzit/src/gtk/CreateEdgeTool.h @@ -27,6 +27,7 @@ GraphRenderer *renderer; StyleManager *styleManager; EdgeStyleSelector *stylePicker; + GtkWidget *configWidget; Node *sourceNode; NSPoint sourceNodeScreenPoint; NSPoint halfEdgeEnd; |