Changeset 17449 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2021-01-09T16:54:30+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
r16069 r17449 385 385 private static class SplashScreenProgressRenderer extends JPanel { 386 386 private final JosmEditorPane lblTaskTitle = new JosmEditorPane(); 387 private final JScrollPane scrollPane = new JScrollPane(lblTaskTitle, 388 ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER); 387 389 private final JProgressBar progressBar = new JProgressBar(JProgressBar.HORIZONTAL); 388 390 private static final String LABEL_HTML = "<html>" … … 394 396 JosmEditorPane.makeJLabelLike(lblTaskTitle, false); 395 397 lblTaskTitle.setText(LABEL_HTML); 396 final JScrollPane scrollPane = new JScrollPane(lblTaskTitle,397 ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);398 398 scrollPane.setPreferredSize(new Dimension(0, 320)); 399 399 scrollPane.setBorder(BorderFactory.createEmptyBorder()); … … 418 418 lblTaskTitle.setText(LABEL_HTML + tasks); 419 419 lblTaskTitle.setCaretPosition(lblTaskTitle.getDocument().getLength()); 420 scrollPane.getHorizontalScrollBar().setValue(0); 420 421 } 421 422 }
Note:
See TracChangeset
for help on using the changeset viewer.