Last change
on this file since 298 was 298, checked in by imi, 17 years ago |
- added license description to head of each source file
|
File size:
421 bytes
|
Line | |
---|
1 | // License: GPL. Copyright 2007 by Immanuel Scholz and others
|
---|
2 | package org.openstreetmap.josm.gui.preferences;
|
---|
3 |
|
---|
4 |
|
---|
5 | public 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 | */
|
---|
15 | void ok();
|
---|
16 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.