(boolean die)
| 520 | } |
| 521 | |
| 522 | void closeAll(boolean die) { |
| 523 | quitting = die; |
| 524 | if (!visiblePanels.isEmpty()) { |
| 525 | propertiesChanged = true; |
| 526 | saveProperties(); |
| 527 | } |
| 528 | for (Enumeration e = panels.elements(); e.hasMoreElements();) { |
| 529 | TreePanel p = (TreePanel)e.nextElement(); |
| 530 | p.close(); |
| 531 | } |
| 532 | //if(quitting) panels.clear(); |
| 533 | quitting = true; |
| 534 | } |
| 535 | |
| 536 | /* **************************************************************************** */ |
| 537 | /* Helper methods */ |
no test coverage detected