Changeset 8510 in josm for trunk/src/org/openstreetmap/josm/gui/PleaseWaitDialog.java
- Timestamp:
- 2015-06-20T23:42:21+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/PleaseWaitDialog.java
r8470 r8510 38 38 private JButton btnInBackground; 39 39 /** the text area and the scroll pane for the log */ 40 private final JosmTextArea taLog = new JosmTextArea(5, 50);40 private final JosmTextArea taLog = new JosmTextArea(5, 50); 41 41 private JScrollPane spLog; 42 42 … … 44 44 setLayout(new GridBagLayout()); 45 45 JPanel pane = new JPanel(new GridBagLayout()); 46 pane.setBorder(BorderFactory.createEmptyBorder(10, 10,10,10));46 pane.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10)); 47 47 pane.add(currentAction, GBC.eol().fill(GBC.HORIZONTAL)); 48 48 pane.add(customText, GBC.eol().fill(GBC.HORIZONTAL)); … … 69 69 @Override 70 70 public void componentHidden(ComponentEvent e) {} 71 71 72 @Override 72 73 public void componentMoved(ComponentEvent e) {} 74 73 75 @Override 74 76 public void componentShown(ComponentEvent e) {} 77 75 78 @Override 76 79 public void componentResized(ComponentEvent ev) { 77 80 int w = getWidth(); 78 if (w > 200) {79 Main.pref.putInteger("progressdialog.size", w);81 if (w > 200) { 82 Main.pref.putInteger("progressdialog.size", w); 80 83 } 81 84 } … … 111 114 @Override 112 115 public void setCustomText(String text) { 113 if (text == null || text.trim().isEmpty()) {116 if (text == null || text.trim().isEmpty()) { 114 117 customText.setVisible(false); 115 118 adjustLayout();
Note:
See TracChangeset
for help on using the changeset viewer.