Changeset 4030 in josm


Ignore:
Timestamp:
2011-04-16T00:32:30+02:00 (10 years ago)
Author:
stoecker
Message:

adjust splash screen borders

File:
1 edited

Legend:

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

    r4029 r4030  
    8484        progressRenderer = new SplashScreenProgressRenderer();
    8585        gbc.gridy = 3;
    86         gbc.insets = new Insets(5, 5, 10, 5);
     86        gbc.insets = new Insets(0, 0, 10, 0);
    8787        innerContentPane.add(progressRenderer, gbc);
    8888        progressMonitor = new SwingRenderingProgressMonitor(progressRenderer);
     
    119119            gc.weightx = 1.0;
    120120            gc.weighty = 0.0;
    121             gc.insets = new Insets(5,0,0,5);
     121            gc.insets = new Insets(5,0,0,0);
    122122            add(lblTaskTitle = new JLabel(" "), gc);
    123123
     
    127127            gc.weightx = 1.0;
    128128            gc.weighty = 0.0;
    129             gc.insets = new Insets(5,0,0,5);
     129            gc.insets = new Insets(5,0,0,0);
    130130            add(lblCustomText = new JLabel(" ") {
    131131                @Override
     
    142142            gc.weightx = 1.0;
    143143            gc.weighty = 0.0;
    144             gc.insets = new Insets(5,0,0,5);
     144            gc.insets = new Insets(5,0,0,0);
    145145            add(progressBar = new JProgressBar(JProgressBar.HORIZONTAL), gc);
    146146        }
Note: See TracChangeset for help on using the changeset viewer.