Changeset 4030 in josm

Timestamp:

Apr 16, 2011 12:32:30 AM (2 years ago)

Author:

stoecker

Message:

adjust splash screen borders

File:

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

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

@@ -84 +84 @@
         progressRenderer = new SplashScreenProgressRenderer();
         gbc.gridy = 3;
-        gbc.insets = new Insets(5, 5, 10, 5);
+        gbc.insets = new Insets(0, 0, 10, 0);
         innerContentPane.add(progressRenderer, gbc);
         progressMonitor = new SwingRenderingProgressMonitor(progressRenderer);
@@ -119 +119 @@
             gc.weightx = 1.0;
             gc.weighty = 0.0;
-            gc.insets = new Insets(5,0,0,5);
+            gc.insets = new Insets(5,0,0,0);
             add(lblTaskTitle = new JLabel(" "), gc);
 
@@ -127 +127 @@
             gc.weightx = 1.0;
             gc.weighty = 0.0;
-            gc.insets = new Insets(5,0,0,5);
+            gc.insets = new Insets(5,0,0,0);
             add(lblCustomText = new JLabel(" ") {
                 @Override
@@ -142 +142 @@
             gc.weightx = 1.0;
             gc.weighty = 0.0;
-            gc.insets = new Insets(5,0,0,5);
+            gc.insets = new Insets(5,0,0,0);
             add(progressBar = new JProgressBar(JProgressBar.HORIZONTAL), gc);
         }