- Timestamp:
- 2012-02-18T00:45:30+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r4970 r4974 319 319 } 320 320 } 321 /*322 for (Iterator<PreferenceSetting> it = settings.iterator(); it.hasNext();) {323 try {324 PreferenceSetting ps = it.next();325 long start = System.currentTimeMillis();326 ps.addGui(this);327 System.out.println(ps.getClass()+" -> "+(System.currentTimeMillis()-start));328 } catch (SecurityException e) {329 it.remove();330 } catch (Throwable e) {331 // allow to change most settings even if e.g. a plugin fails332 BugReportExceptionHandler.handleException(e);333 }334 }*/335 321 addGUITabs(false); 336 322 } … … 365 351 if (expert || !tps.isExpert()) { 366 352 // Get icon 367 ImageIcon icon = ImageProvider.get("preferences", tps.getIconName()); 353 String iconName = tps.getIconName(); 354 ImageIcon icon = iconName != null && iconName.length() > 0 ? ImageProvider.get("preferences", iconName) : null; 368 355 if (settingsInitialized.contains(tps)) { 369 356 // If it has been initialized, add corresponding tab(s) … … 376 363 } 377 364 } 378 /*for (PreferenceTab tab : tabs) {379 TabPreferenceSetting s = tab.getTabPreferenceSetting();380 if (expert || !s.isExpert()) {381 addTab(null, ImageProvider.get("preferences", s.getIconName()), tab.getComponent(), "<html>"+s.getTooltip()+"</html>");382 }383 }*/384 365 try { 385 366 if (sel != null) {
Note:
See TracChangeset
for help on using the changeset viewer.