- // Set line width used for drawing
- settingsMenu.add(makeMenuItem(new ChooseSingleParameter(_app, FunctionLibrary.FUNCTION_SET_LINE_WIDTH)));
- // Use antialias or not
- _antialiasCheckbox = new JCheckBoxMenuItem(I18nManager.getText("menu.settings.antialias"), false);
- _antialiasCheckbox.setSelected(Config.getConfigBoolean(Config.KEY_ANTIALIAS));
- _antialiasCheckbox.addActionListener(new ActionListener() {
- public void actionPerformed(ActionEvent e) {
- Config.setConfigBoolean(Config.KEY_ANTIALIAS, _antialiasCheckbox.isSelected());
- UpdateMessageBroker.informSubscribers(MAPSERVER_CHANGED);
- }
- });
- settingsMenu.add(_antialiasCheckbox);
+ // display settings
+ JMenuItem setDisplaySettingsItem = makeMenuItem(FunctionLibrary.FUNCTION_SET_DISPLAY_SETTINGS);
+ settingsMenu.add(setDisplaySettingsItem);