Ticket #7548: 7548_plugins.patch

File 7548_plugins.patch, 4.8 KB (added by simon04, 11 years ago)
  • plugins/colorscheme/src/at/dallermassl/josm/plugin/colorscheme/ColorSchemePreference.java

    diff --git a/plugins/colorscheme/src/at/dallermassl/josm/plugin/colorscheme/ColorSchemePreference.java b/plugins/colorscheme/src/at/dallermassl/josm/plugin/colorscheme/ColorSchemePreference.java
    index 83849ac..377465e 100644
    a b import javax.swing.JPanel;  
    2727import javax.swing.JScrollPane;
    2828
    2929import org.openstreetmap.josm.Main;
     30import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
    3031import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
    3132import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
    32 import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting;
    3333import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;
    3434import org.openstreetmap.josm.gui.preferences.display.ColorPreference;
    3535import org.openstreetmap.josm.tools.GBC;
    3636
    37 public class ColorSchemePreference implements SubPreferenceSetting {
     37public class ColorSchemePreference extends DefaultTabPreferenceSetting {
    3838    private static final String PREF_KEY_SCHEMES_PREFIX = "colorschemes.";
    3939    private static final String PREF_KEY_SCHEMES_NAMES = PREF_KEY_SCHEMES_PREFIX + "names";
    4040    public static final String PREF_KEY_COLOR_PREFIX = "color.";
    public class ColorSchemePreference implements SubPreferenceSetting {  
    4747     * Default Constructor
    4848     */
    4949    public ColorSchemePreference() {
     50        super(null, tr("Color Schemes"), tr("Allows the user to create different color schemes and to switch between them."));
    5051    }
    5152
    5253
    public class ColorSchemePreference implements SubPreferenceSetting {  
    124125        buttonPanel.add(addScheme, GBC.std().insets(0,5,5,0));
    125126        buttonPanel.add(deleteScheme, GBC.std().insets(0,5,5,0));
    126127
    127         JScrollPane scrollpane = new JScrollPane(panel);
    128         scrollpane.setBorder(BorderFactory.createEmptyBorder( 0, 0, 0, 0 ));
    129         gui.getDisplayPreference().getTabPane().addTab(tr("Color Schemes"), scrollpane);
    130     }
    131 
    132     @Override
    133     public TabPreferenceSetting getTabPreferenceSetting(final PreferenceTabbedPane gui) {
    134         return gui.getDisplayPreference();
     128        gui.createPreferenceTab(this).add(panel, GBC.eol().fill(GBC.BOTH));
    135129    }
    136130
    137131    /**
  • plugins/osmarender/src/org/openstreetmap/josm/plugins/osmarender/OsmarenderPlugin.java

    diff --git a/plugins/osmarender/src/org/openstreetmap/josm/plugins/osmarender/OsmarenderPlugin.java b/plugins/osmarender/src/org/openstreetmap/josm/plugins/osmarender/OsmarenderPlugin.java
    index 15a4693..606d0c4 100644
    a b import org.openstreetmap.josm.data.osm.Relation;  
    3333import org.openstreetmap.josm.data.osm.Way;
    3434import org.openstreetmap.josm.gui.MainMenu;
    3535import org.openstreetmap.josm.gui.MapFrame;
     36import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
    3637import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
    3738import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
    38 import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting;
    3939import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;
    4040import org.openstreetmap.josm.io.OsmWriter;
    4141import org.openstreetmap.josm.io.OsmWriterFactory;
    public class OsmarenderPlugin extends Plugin {  
    156156        return new OsmarenderPreferenceSetting();
    157157    }
    158158
    159     private class OsmarenderPreferenceSetting implements SubPreferenceSetting {
     159    private class OsmarenderPreferenceSetting extends DefaultTabPreferenceSetting {
    160160
    161161        private JTextField firefox = new JTextField(10);
    162162
     163        public OsmarenderPreferenceSetting() {
     164            super(null, tr("Osmarender"), "");
     165        }
     166
    163167        @Override
    164168        public void addGui(PreferenceTabbedPane gui) {
    165169            final JPanel panel = new JPanel(new GridBagLayout());
    public class OsmarenderPlugin extends Plugin {  
    169173            panel.add(firefox, GBC.eol().insets(0,5,0,0).fill(GBC.HORIZONTAL));
    170174            panel.add(Box.createVerticalGlue(), GBC.eol().fill(GBC.BOTH));
    171175            firefox.setText(Main.pref.get("osmarender.firefox"));
    172             gui.getMapPreference().getTabPane().addTab(tr("Osmarender"), panel);
     176
     177            gui.createPreferenceTab(this).add(panel, GBC.eol().fill(GBC.BOTH));
    173178        }
    174179
    175180        @Override
    public class OsmarenderPlugin extends Plugin {  
    183188            return false;
    184189        }
    185190
    186         @Override
    187         public TabPreferenceSetting getTabPreferenceSetting(final PreferenceTabbedPane gui) {
    188             return gui.getMapPreference();
    189         }
    190 
    191191    }
    192192
    193193    private void writeGenerated(Bounds b) throws IOException {