|
GraphEditor is a subclass of GraphDisplay providing an user interface
for editing options. Core edit operations are defined in GraphDisplay.
GraphEditor is not designed for direct consumption, use
instead.
Bindings:
- Mouse, button 1 down/up: Add a vertex if nothing underneath mouse
else select for move vertex
- Mouse, move: move vertex
- Mouse, button 2 down: select tail for adding an edge
- Mouse, button 2 up: select head for adding an edge
- Mouse, button 3 up: delete vertex/edge underneath mouse
|
Methods
|
|
|
|
|
|
AddEdgeDown
|
AddEdgeDown ( self, event )
|
|
|
AddEdgeMove
|
AddEdgeMove ( self, event )
|
|
|
AddEdgeUp
|
AddEdgeUp ( self, event )
|
|
|
AddOrMoveVertexDown
|
AddOrMoveVertexDown ( self, event )
|
|
|
AddOrMoveVertexMove
|
AddOrMoveVertexMove ( self, event )
|
|
|
AddOrMoveVertexUp
|
AddOrMoveVertexUp ( self, event )
|
|
|
CanvasEnter
|
CanvasEnter ( self, event )
|
|
|
CanvasLeave
|
CanvasLeave ( self, event )
|
|
|
CreateWidgets
|
CreateWidgets ( self )
Add additional bindings with proper callbacks to canvas
|
|
|
DeleteEdgeOrVertexUp
|
DeleteEdgeOrVertexUp ( self, event )
|
|
|
EditWeightUp
|
EditWeightUp ( self, event )
|
|
|
Mouse2Down
|
Mouse2Down ( self, event )
|
|
|
Mouse2Move
|
Mouse2Move ( self, event )
|
|
|
Mouse2Up
|
Mouse2Up ( self, event )
|
|
|
Mouse3Up
|
Mouse3Up ( self, event )
|
|
|
MouseDown
|
MouseDown ( self, event )
|
|
|
MouseMotion
|
MouseMotion ( self, event )
|
|
|
MouseMove
|
MouseMove ( self, event )
|
|
|
MouseUp
|
MouseUp ( self, event )
|
|
|
SetEditMode
|
SetEditMode ( self, mode )
|
|
|
ShowCoords
|
ShowCoords ( self, event )
|
|
|
SwapOrientationUp
|
SwapOrientationUp ( self, event )
|
|
|
ToggleGridding
|
ToggleGridding ( self )
Toggle gridding
|
|
|
WindowToCanvasCoords
|
WindowToCanvasCoords ( self, event )
Given an event return the (x,y) in canvas coordinates while
using gridding if a gridsize is specified in gGridSize
|
|
|
Zoom
|
Zoom ( self, percent )
|
|
|
__init__
|
__init__ ( self )
|
|