private void initApplicationMenuBar() {
JMenu fileMenu = _masterView.createApplicationFileMenu();
JMenu helpMenu = _helpView.createApplicationHelpMenu();
JMenu diaoptMenu = _masterView.createApplicationDiagramOptionsMenu();
if (_impl.isTerminatable()) {
AbstractAction action =
new AbstractAction("Exit") {
public void actionPerformed(ActionEvent e) {
applicationStop();
}
};
fileMenu.add(new JMenuItem(action));
}
JMenuBar result = new JMenuBar();
result.add(fileMenu);
result.add(diaoptMenu);
result.add(Box.createHorizontalGlue());
result.add(helpMenu);
_impl.setJMenuBar(result);
}
