diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 19:11:32 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 19:11:32 +0000 |
commit | 157e0fc663a9858c08269c64094904bcdef8ccae (patch) | |
tree | 96dd5d24c40028be9b73573e3df691e030afde07 /tikzit/src/gtk/SelectTool.h | |
parent | bebc98ece91e27ce8e7c0c4b079d5f4e870b2ddc (diff) |
Add select tool option for drag-selecting edges
Drag-select can now select nodes, edges or both.
Diffstat (limited to 'tikzit/src/gtk/SelectTool.h')
-rw-r--r-- | tikzit/src/gtk/SelectTool.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tikzit/src/gtk/SelectTool.h b/tikzit/src/gtk/SelectTool.h index 172a7ae..65f511a 100644 --- a/tikzit/src/gtk/SelectTool.h +++ b/tikzit/src/gtk/SelectTool.h @@ -31,10 +31,17 @@ typedef enum { DragEdgeControlPoint2 } SelectToolState; +typedef enum { + DragSelectsNodes = 1, + DragSelectsEdges = 2, + DragSelectsBoth = DragSelectsNodes | DragSelectsEdges +} DragSelectMode; + @interface SelectTool : NSObject <Tool> { GraphRenderer *renderer; SelectToolState state; float edgeFuzz; + DragSelectMode dragSelectMode; NSPoint dragOrigin; Node *leaderNode; NSPoint oldLeaderPos; @@ -43,9 +50,11 @@ typedef enum { NSMutableSet *selectionBoxContents; GtkWidget *configWidget; + GSList *dragSelectModeButtons; } @property (assign) float edgeFuzz; +@property (assign) DragSelectMode dragSelectMode; - (id) init; + (id) tool; |