Changeset 5872
- Timestamp:
- 2003-11-18T15:27:25+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/CreatePane.java
r5785 r5872 537 537 } 538 538 //scroll_pane.setViewportView(previous_pane); 539 previous_pane.validate(); 539 //previous_pane.validate(); 540 right.validate(); 541 //System.err.println("Current pane size: " + previous_pane.getSize()); 542 //System.err.println("While its preferred size is: " + previous_pane.getPreferredSize()); 540 543 } 541 544 }
Note:
See TracChangeset
for help on using the changeset viewer.