Changeset 8510 in josm for trunk/src/org/openstreetmap/josm/gui/SplashScreen.java

Timestamp:

2015-06-20T23:42:21+02:00 (9 years ago)

Author:

Don-vip

Message:

checkstyle: enable relevant whitespace checks and fix them

File:

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

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

@@ -56 +56 @@
 
         // Add a nice border to the main splash screen
-        JPanel contentPane = (JPanel)this.getContentPane();
+        JPanel contentPane = (JPanel) this.getContentPane();
         Border margin = new EtchedBorder(1, Color.white, Color.gray);
         contentPane.setBorder(margin);
@@ -342 +342 @@
             gc.weightx = 1.0;
             gc.weighty = 0.0;
-            gc.insets = new Insets(5,0,0,0);
+            gc.insets = new Insets(5, 0, 0, 0);
             add(lblTaskTitle = new JLabel(labelHtml), gc);
 
             gc.gridy = 1;
-            gc.insets = new Insets(15,0,0,0);
+            gc.insets = new Insets(15, 0, 0, 0);
             add(progressBar = new JProgressBar(JProgressBar.HORIZONTAL), gc);
             progressBar.setIndeterminate(true);