diff options
Diffstat (limited to 'src/interp/i-util.boot')
| -rw-r--r-- | src/interp/i-util.boot | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/interp/i-util.boot b/src/interp/i-util.boot index d635f34d..de513671 100644 --- a/src/interp/i-util.boot +++ b/src/interp/i-util.boot @@ -72,10 +72,9 @@ MKPROMPT() == toString $IOindex, '"] -> ") -printPrompt(flush? == false) == +printPrompt() == writeString(MKPROMPT(), $OutputStream) - if flush? then - flushOutput $OutputStream + flushOutput $OutputStream ++ Return the name of a text editor, if possible. textEditor() == |