Method | Description | |
---|---|---|
Flush ( ) : void | ||
Read ( byte buffer, int offset, int count ) : int |
Read from the _inputBuffer, block until a new line has been entered...
|
|
ScriptOutputStream ( |
||
Seek ( long offset, SeekOrigin origin ) : long | ||
SetLength ( long value ) : void | ||
Write ( byte buffer, int offset, int count ) : void |
Append the text in the buffer to gui.txtStdOut
|
Method | Description | |
---|---|---|
ClosedEventHandler ( object sender, |
||
ClosingEventHandler ( object sender, System e ) : void |
Terminate reading from STDIN. FIXME: this doesn't work!
|
|
KeyDownEventHandler ( object sender, |
Complete a line when the enter key is pressed. Also try to emulate a nice control window. This is going to be a big gigantic pile of ifs, sigh.
|
|
KeyPressEventHandler ( object sender, |
Stash away any printable characters for later...
|
public Read ( byte buffer, int offset, int count ) : int | ||
buffer | byte | |
offset | int | |
count | int | |
return | int |
public ScriptOutputStream ( |
||
gui | ||
engine | ScriptEngine | |
return | System |
public Seek ( long offset, SeekOrigin origin ) : long | ||
offset | long | |
origin | SeekOrigin | |
return | long |
public Write ( byte buffer, int offset, int count ) : void | ||
buffer | byte | |
offset | int | |
count | int | |
return | void |