public final class BaseXHistory extends Object
Constructor and Description |
---|
BaseXHistory(GUI gui,
StringsOption history)
Constructor.
|
public BaseXHistory(GUI gui, StringsOption history)
gui
- main windowhistory
- history valuespublic void store(String input)
input
- new inputCopyright © 2005–2015 BaseX Team. All rights reserved.