menu.add(new JSeparator());
i = new JMenuItem(new AbstractAction(Lang.getNoHTML("menu.file.properties"), Icons.get("properties")) {
@Override
public void actionPerformed(ActionEvent e) {
if (Controller.getCurrentMap() == null) return;
new MapProperties((Frame) Controller.getView(), Controller.getCurrentMap());
}
}); menu.add(i);
i.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_P, InputEvent.CTRL_DOWN_MASK | InputEvent.SHIFT_DOWN_MASK));
menu.add(new JSeparator());
// Quit