source: josm/trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceSetting.java@ 3864

Last change on this file since 3864 was 2745, checked in by Gubaer, 14 years ago

Partial commit due to #4137. Comment to follow in another commit.

  • Property svn:eol-style set to native
File size: 483 bytes
RevLine 
[298]1// License: GPL. Copyright 2007 by Immanuel Scholz and others
[626]2package org.openstreetmap.josm.gui.preferences;
3
4public interface PreferenceSetting {
[1169]5 /**
6 * Add the GUI elements to the dialog. The elements should be initialized after
7 * the current preferences.
8 */
[2745]9 void addGui(PreferenceTabbedPane gui);
[626]10
[1169]11 /**
12 * Called when OK is pressed to save the setting in the preferences file.
[1180]13 * Return true when restart is required.
[1169]14 */
[1180]15 boolean ok();
[626]16}
Note: See TracBrowser for help on using the repository browser.