Uses of Class
org.basex.util.History

Packages that use History
org.basex.gui.editor   
 

Uses of History in org.basex.gui.editor
 

Fields in org.basex.gui.editor declared as History
 History Editor.hist
          Undo history.