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.
|
public static AddHistory ( string line ) : void | ||
line | string | The line string to add to the history. |
return | void |
public static AddHistoryUnique ( String line ) : void | ||
line | String | |
return | void |
public static GetHistory ( int index ) : String | ||
index | int | |
return | String |
public static Load ( string file ) : void | ||
file | string | The path to the file containing the history /// lines to load. |
return | void |
public static Save ( string file ) : void | ||
file | string | The path to the file where to store the /// history lines. |
return | void |
public static SetHistory ( int index, string line ) : void | ||
index | int | |
line | string | |
return | void |