com.sun.electric.tool.user.ui
Class ExplorerTree.KeepTreeExpansion

java.lang.Object
  extended by com.sun.electric.tool.user.ui.ExplorerTree.KeepTreeExpansion
Enclosing class:
ExplorerTree

public static class ExplorerTree.KeepTreeExpansion
extends java.lang.Object

Class to remember the expansion state of a JTree and restore it after a change.


Method Summary
 void restore()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

restore

public void restore()