Changeset 12756
- Timestamp:
- 2006-09-15T11:37:13+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gems/GEMS.java
r12732 r12756 308 308 public void setVisible(boolean visible) { 309 309 super.setVisible(visible); 310 attribute_tables_split_pane.setDividerLocation(0.3); 310 if (visible) { 311 attribute_tables_split_pane.setDividerLocation(0.3); 312 } 311 313 } 312 314 … … 506 508 System.exit(0); 507 509 } 508 else{ 509 notifyListeners(); 510 setVisible(false); 510 else { 511 self.notifyListeners(); 512 self.setVisible(false); 513 return; 511 514 } 512 515 }
Note:
See TracChangeset
for help on using the changeset viewer.