- Timestamp:
- 2023-09-20T20:08:14+02:00 (14 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
r18215 r18836 391 391 + "<style>ul {margin-top: 0; margin-bottom: 0; padding: 0;} li {margin: 0; padding: 0;}</style>"; 392 392 393 private String lastTasks; 394 393 395 protected void build() { 394 396 setLayout(new GridBagLayout()); … … 416 418 */ 417 419 public void setTasks(String tasks) { 418 lblTaskTitle.setText(LABEL_HTML + tasks); 419 lblTaskTitle.setCaretPosition(lblTaskTitle.getDocument().getLength()); 420 scrollPane.getHorizontalScrollBar().setValue(0); 420 // Only update the display when the tasks change 421 if (!Objects.equals(lastTasks, tasks)) { 422 lastTasks = tasks; 423 lblTaskTitle.setText(LABEL_HTML + tasks); 424 lblTaskTitle.setCaretPosition(lblTaskTitle.getDocument().getLength()); 425 scrollPane.getHorizontalScrollBar().setValue(0); 426 } 421 427 } 422 428 }
Note:
See TracChangeset
for help on using the changeset viewer.