submenu.add(editor.bind(mxResources.get("selectPath"), new SelectShortestPathAction(false)));
submenu.add(editor.bind(mxResources.get("selectDirectedPath"), new SelectShortestPathAction(true)));
submenu.addSeparator();
submenu.add(editor.bind(mxResources.get("selectTree"), new SelectSpanningTreeAction(false)));
submenu.add(editor.bind(mxResources.get("selectDirectedTree"), new SelectSpanningTreeAction(true)));
menu.addSeparator();
submenu = (JMenu) menu.add(new JMenu(mxResources.get("stylesheet")));