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