| java.lang.Object java.io.Reader gnu.text.LineBufferedReader gnu.mapping.InPort gnu.mapping.TtyInPort kawa.GuiInPort
GuiInPort | class GuiInPort extends TtyInPort (Code) | | A TtyInPort that reads from a MessageArea.
|
Method Summary | |
public void | lineStart(boolean revisited) Overrides lineStart.
Needed to handle when a multi-line selection is pasted in.
We want the output (and prompt) to be "interpolated" in the right
places, so we fake an when we're ready to read the
next line. |
lineStart | public void lineStart(boolean revisited) throws java.io.IOException(Code) | | Overrides lineStart.
Needed to handle when a multi-line selection is pasted in.
We want the output (and prompt) to be "interpolated" in the right
places, so we fake an when we're ready to read the
next line. This sends the next line to the reader.
|
|
|