Changeset 4029 in josm


Ignore:
Timestamp:
2011-04-15T22:49:59+02:00 (10 years ago)
Author:
stoecker
Message:

prevent resizing of splash screen

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/SplashScreen.java

    r3479 r4029  
    55
    66import java.awt.Color;
     7import java.awt.Dimension;
    78import java.awt.Font;
    89import java.awt.GridBagConstraints;
     
    119120            gc.weighty = 0.0;
    120121            gc.insets = new Insets(5,0,0,5);
    121             add(lblTaskTitle = new JLabel(""), gc);
     122            add(lblTaskTitle = new JLabel(" "), gc);
    122123
    123124            gc.gridx = 0;
     
    127128            gc.weighty = 0.0;
    128129            gc.insets = new Insets(5,0,0,5);
    129             add(lblCustomText = new JLabel(""), gc);
     130            add(lblCustomText = new JLabel(" ") {
     131                @Override
     132                public Dimension getPreferredSize() {
     133                    Dimension d = super.getPreferredSize();
     134                    if(d.width < 600) d.width = 600;
     135                    return d;
     136                }
     137            }, gc);
    130138
    131139            gc.gridx = 0;
     
    143151
    144152        public void setCustomText(String message) {
     153            if(message.isEmpty())
     154                message = " "; /* prevent killing of additional line */
    145155            lblCustomText.setText(message);
    146156            repaint();
Note: See TracChangeset for help on using the changeset viewer.