Last change
on this file since 7135 was 4968, checked in by Don-vip, 12 years ago |
fix #7386 - Major rework of preferences GUI settings in order to speed up preferences dialog startup time. The building of each preferences tab is delayed until this tab is selected. Plugins that use preferences will need to make some (minor) changes.
|
File size:
481 bytes
|
Line | |
---|
1 | // License: GPL. For details, see LICENSE file.
|
---|
2 | package org.openstreetmap.josm.gui.preferences;
|
---|
3 |
|
---|
4 | public abstract class DefaultPreferenceSetting implements PreferenceSetting {
|
---|
5 |
|
---|
6 | private final boolean isExpert;
|
---|
7 |
|
---|
8 | public DefaultPreferenceSetting() {
|
---|
9 | this(false);
|
---|
10 | }
|
---|
11 |
|
---|
12 | public DefaultPreferenceSetting(boolean isExpert) {
|
---|
13 | this.isExpert = isExpert;
|
---|
14 | }
|
---|
15 |
|
---|
16 | @Override
|
---|
17 | public boolean isExpert() {
|
---|
18 | return isExpert;
|
---|
19 | }
|
---|
20 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.