menu.add(editor.bind(mxResources.get("pageSetup"), new PageSetupAction(), "/com/mxgraph/examples/swing/images/pagesetup.gif"));
menu.add(editor.bind(mxResources.get("print"), new PrintAction(), "/com/mxgraph/examples/swing/images/print.gif"));
menu.addSeparator();
menu.add(editor.bind(mxResources.get("exit"), new ExitAction()));
// Creates the edit menu
menu = add(new JMenu(mxResources.get("edit")));
menu.add(editor.bind(mxResources.get("undo"), new HistoryAction(true), "/com/mxgraph/examples/swing/images/undo.gif"));