Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes