Uses of Class
org.basex.util.History

Packages that use History

Package	Description
org.basex.gui.text

Uses of History in org.basex.gui.text

Fields in org.basex.gui.text declared as History

Modifier and Type	Field	Description
final History	TextPanel.hist	Undo history.