15161718192021
this.page = page; } public void run() { ((ShapeEditor) page.getActiveEditor()).setTool(new CreateMarkerTool()); }