Last change
on this file since 6529 was 6529, checked in by Don-vip, 10 years ago |
Various stuff:
- see #9414: remove old DeprecatedTags test
- refactor some classes in
gui.preferences package
- improve javadoc
|
File size:
1.3 KB
|
Line | |
---|
1 | //License: GPL. For details, see LICENSE file.
|
---|
2 | package org.openstreetmap.josm.gui.preferences.display;
|
---|
3 |
|
---|
4 | import static org.openstreetmap.josm.tools.I18n.tr;
|
---|
5 |
|
---|
6 | import javax.swing.JTabbedPane;
|
---|
7 |
|
---|
8 | import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
|
---|
9 | import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
|
---|
10 | import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
|
---|
11 | import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
|
---|
12 | import org.openstreetmap.josm.tools.GBC;
|
---|
13 |
|
---|
14 | public final class DisplayPreference extends DefaultTabPreferenceSetting {
|
---|
15 |
|
---|
16 | /**
|
---|
17 | * Factory used to create a new {@code DisplayPreference}.
|
---|
18 | */
|
---|
19 | public static class Factory implements PreferenceSettingFactory {
|
---|
20 | @Override
|
---|
21 | public PreferenceSetting createPreferenceSetting() {
|
---|
22 | return new DisplayPreference();
|
---|
23 | }
|
---|
24 | }
|
---|
25 |
|
---|
26 | private DisplayPreference() {
|
---|
27 | super("display", tr("Display Settings"), tr("Various settings that influence the visual representation of the whole program."), false, new JTabbedPane());
|
---|
28 | }
|
---|
29 |
|
---|
30 | @Override
|
---|
31 | public boolean ok() {
|
---|
32 | return false;
|
---|
33 | }
|
---|
34 |
|
---|
35 | @Override
|
---|
36 | public void addGui(PreferenceTabbedPane gui) {
|
---|
37 | gui.createPreferenceTab(this).add(getTabPane(), GBC.eol().fill(GBC.BOTH));
|
---|
38 | }
|
---|
39 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.