Changeset 4029 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2011-04-15T22:49:59+02:00 (13 years ago)

Author:

stoecker

Message:

prevent resizing of splash screen

File:

• trunk/src/org/openstreetmap/josm/gui/SplashScreen.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/SplashScreen.java

@@ -5 +5 @@
 
 import java.awt.Color;
+import java.awt.Dimension;
 import java.awt.Font;
 import java.awt.GridBagConstraints;
@@ -119 +120 @@
             gc.weighty = 0.0;
             gc.insets = new Insets(5,0,0,5);
-            add(lblTaskTitle = new JLabel(""), gc);
+            add(lblTaskTitle = new JLabel(" "), gc);
 
             gc.gridx = 0;
@@ -127 +128 @@
             gc.weighty = 0.0;
             gc.insets = new Insets(5,0,0,5);
-            add(lblCustomText = new JLabel(""), gc);
+            add(lblCustomText = new JLabel(" ") {
+                @Override
+                public Dimension getPreferredSize() {
+                    Dimension d = super.getPreferredSize();
+                    if(d.width < 600) d.width = 600;
+                    return d;
+                }
+            }, gc);
 
             gc.gridx = 0;
@@ -143 +151 @@
 
         public void setCustomText(String message) {
+            if(message.isEmpty())
+                message = " "; /* prevent killing of additional line */
             lblCustomText.setText(message);
             repaint();