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

Last change on this file since 1523 was 1180, checked in by stoecker, 15 years ago

fixed bug #1871, removed all deprecations

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