Changeset 5631 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java
- Timestamp:
- 2012-12-25T23:43:22+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java
r5601 r5631 61 61 62 62 private PluginPreference() { 63 super("plugin", tr("Plugins"), tr("Configure available plugins.") );63 super("plugin", tr("Plugins"), tr("Configure available plugins."), false, new JTabbedPane()); 64 64 } 65 65 … … 163 163 } 164 164 165 protected JPanel buildContentPanel() { 166 JPanel pnl = new JPanel(new BorderLayout()); 167 JTabbedPane tpPluginPreferences = new JTabbedPane(); 168 tpPluginPreferences.add(buildPluginListPanel()); 169 tpPluginPreferences.add(pnlPluginUpdatePolicy =new PluginUpdatePolicyPanel()); 170 tpPluginPreferences.setTitleAt(0, tr("Plugins")); 171 tpPluginPreferences.setTitleAt(1, tr("Plugin update policy")); 172 173 pnl.add(tpPluginPreferences, BorderLayout.CENTER); 174 return pnl; 165 protected JTabbedPane buildContentPane() { 166 JTabbedPane pane = getTabPane(); 167 pane.addTab(tr("Plugins"), buildPluginListPanel()); 168 pane.addTab(tr("Plugin update policy"), pnlPluginUpdatePolicy = new PluginUpdatePolicyPanel()); 169 return pane; 175 170 } 176 171 … … 182 177 gc.fill = GridBagConstraints.BOTH; 183 178 PreferencePanel plugins = gui.createPreferenceTab(this); 184 plugins.add(buildContentPane l(), gc);179 plugins.add(buildContentPane(), gc); 185 180 readLocalPluginInformation(); 186 181 pluginPreferencesActivated = true;
Note:
See TracChangeset
for help on using the changeset viewer.