884885886887888889890
menu.addSeparator(); menu.add(editor.bind(mxResources.get("rounded"), new ToggleAction( mxConstants.STYLE_ROUNDED))); menu.add(editor.bind(mxResources.get("style"), new StyleAction())); }
777778779780781782783
menu.addSeparator(); menu.add(editor.bind(mxResources.get("rounded"), new ToggleAction(mxConstants.STYLE_ROUNDED))); menu.add(editor.bind(mxResources.get("style"), new StyleAction())); }