C# Class Deveel.History

The handler for the lines stored in the history of the console.

Mostrar archivo Open project: deveel/deveelrl

Public Methods

Method	Description
AddHistory ( string line ) : void	Add a line of input to the scroll-back history.
AddHistoryUnique ( String line ) : void	Adds a line of input to the scroll-back history, if it is different from the most recent line that is present.
ClearHistory ( ) : void	Clear the scroll-back history.
GetHistory ( int index ) : String	Get a particular history item. Zero is the most recent.
Load ( string file ) : void	Loads a set of history lines from a given file.
Save ( string file ) : void	Saves the history lines stored in the History into the given file.
SetHistory ( int index, string line ) : void	Set a particular history item at the given index.

Add a line of input to the scroll-back history.

public static AddHistory ( string line ) : void
line	string	The line string to add to the history.
return	void

Adds a line of input to the scroll-back history, if it is different from the most recent line that is present.

public static AddHistoryUnique ( String line ) : void
line	String
return	void

Clear the scroll-back history.

public static ClearHistory ( ) : void
return	void

Get a particular history item. Zero is the most recent.

public static GetHistory ( int index ) : String
index	int
return	String

Loads a set of history lines from a given file.

public static Load ( string file ) : void
file	string	The path to the file containing the history /// lines to load.
return	void

Saves the history lines stored in the History into the given file.

public static Save ( string file ) : void
file	string	The path to the file where to store the /// history lines.
return	void

Set a particular history item at the given index.

public static SetHistory ( int index, string line ) : void
index	int
line	string
return	void