Changeset 1048 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2008-10-21T20:44:31+02:00 (16 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r1034 r1048 122 122 } 123 123 124 SplashScreen splash = new SplashScreen();125 splash.setStatus(tr("Reading preferences"));126 124 // get the preferences. 127 125 final File prefDir = new File(Main.pref.getPreferencesDir()); … … 161 159 Main.pref.save(); 162 160 } 161 SplashScreen splash = new SplashScreen(Main.pref.getBoolean("draw.splashscreen", true)); 162 163 163 String language = null; 164 164 if(args.containsKey("language")) -
trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
r993 r1048 34 34 35 35 private JLabel status; 36 private boolean visible; 36 37 37 38 private Runnable closerRunner; 38 39 39 public SplashScreen( ) {40 public SplashScreen(boolean visible) { 40 41 super(); 42 this.visible=visible; 43 44 if (!visible) 45 return; 41 46 42 47 // Add a nice border to the main splash screen … … 126 131 */ 127 132 public void setStatus(String message) { 133 if (!visible) 134 return; 128 135 status.setText(message + " ..."); 129 136 } … … 133 140 */ 134 141 public void closeSplash() { 142 if (!visible) 143 return; 135 144 try { 136 145 SwingUtilities.invokeAndWait(closerRunner); -
trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
r955 r1048 30 30 private JCheckBox inactive = new JCheckBox(tr("Draw inactive layers in other color")); 31 31 private JCheckBox useAntialiasing = new JCheckBox(tr("Smooth map graphics (antialiasing)")); 32 private JCheckBox showSplashScreen = new JCheckBox(tr("Show splash screen at startup")); 32 33 33 34 public void addGui(PreferenceDialog gui) { … … 132 133 inactive.setSelected(Main.pref.getBoolean("draw.data.inactive_color", true)); 133 134 gui.display.add(inactive, GBC.eop().insets(20,0,0,0)); 135 136 // Show splash screen on startup 137 showSplashScreen.setToolTipText(tr("Show splash screen at startup")); 138 showSplashScreen.setSelected(Main.pref.getBoolean("draw.splashscreen", true)); 139 gui.display.add(showSplashScreen, GBC.eop().insets(20, 0, 0, 0)); 134 140 } 135 141 … … 148 154 Main.pref.put("draw.data.inactive_color", inactive.isSelected()); 149 155 Main.pref.put("mappaint.use-antialiasing", useAntialiasing.isSelected()); 156 Main.pref.put("draw.splashscreen", showSplashScreen.isSelected()); 150 157 int vn = Main.pref.getInteger("mappaint.node.virtual-size", 8); 151 158 if(virtualNodes.isSelected()) { if (vn < 1) vn = 8; }
Note:
See TracChangeset
for help on using the changeset viewer.