GEF SelectionTool& MarqueeSelectionTool使用

[color=red][b]org.eclipse.gef.tools.SelectionTool

org.eclipse.gef.tools.MarqueeSelectionTool[/b][/color]

[b][color=red]SelectionTool[/color][/b]

选取工具

[color=red][b]MarqueeSelectionTool[/b][/color]

圈选工具

因为项目中无法直接使用GraphicalEditorWithFlyoutPalette,于是无法使用Palette,但是我又需要在GraphicalViewer间切换SelectionTool和MarqueeSelectionTool, 翻阅了代码,也很简单:

getGraphicalViewer().getEditDomain().setActiveTool(new SelectionTool());

getGraphicalViewer().getEditDomain().setActiveTool(new MarqueeSelectionTool());
           

同理, CreationTool也类似.