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也類似.