|
Last change
on this file since 290 was 168, checked in by imi, 18 years ago |
- added plugin-support for preferences
- added advanced tab to preferences dialog
|
|
File size:
359 bytes
|
| Line | |
|---|
| 1 | package org.openstreetmap.josm.gui.preferences;
|
|---|
| 2 |
|
|---|
| 3 |
|
|---|
| 4 | public 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(PreferenceDialog gui);
|
|---|
| 10 |
|
|---|
| 11 | /**
|
|---|
| 12 | * Called, when OK is pressed to save the setting in the Preferences file.
|
|---|
| 13 | */
|
|---|
| 14 | void ok();
|
|---|
| 15 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
