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

Last change on this file since 2745 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
Line 
1// License: GPL. Copyright 2007 by Immanuel Scholz and others
2package org.openstreetmap.josm.gui.preferences;
3
4public interface PreferenceSetting {
5 /**
6 * Add the GUI elements to the dialog. The elements should be initialized after
7 * the current preferences.
8 */
9 void addGui(PreferenceTabbedPane gui);
10
11 /**
12 * Called when OK is pressed to save the setting in the preferences file.
13 * Return true when restart is required.
14 */
15 boolean ok();
16}
Note: See TracBrowser for help on using the repository browser.