- Timestamp:
- 2010-01-16T13:22:06+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
r2817 r2865 14 14 import java.awt.event.MouseEvent; 15 15 16 import javax.swing.JFrame; 16 17 import javax.swing.JLabel; 17 18 import javax.swing.JPanel; 18 19 import javax.swing.JProgressBar; 19 20 import javax.swing.JSeparator; 20 import javax.swing.JWindow;21 21 import javax.swing.border.Border; 22 22 import javax.swing.border.EmptyBorder; … … 33 33 * 34 34 */ 35 public class SplashScreen extends J Window{35 public class SplashScreen extends JFrame { 36 36 37 37 private SplashScreenProgressRenderer progressRenderer; … … 40 40 public SplashScreen() { 41 41 super(); 42 setUndecorated(true); 42 43 43 44 // Add a nice border to the main splash screen
Note:
See TracChangeset
for help on using the changeset viewer.