1819202122232425
this.setChecked(true); } public void run() { if (this.isChecked()) { ((ShapeEditor) page.getActiveEditor()).setTool(new ModifyBoundsTool()); } }