diff options
Diffstat (limited to 'src/interp/ht-root.boot')
-rw-r--r-- | src/interp/ht-root.boot | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/interp/ht-root.boot b/src/interp/ht-root.boot index 70270540..927b5a93 100644 --- a/src/interp/ht-root.boot +++ b/src/interp/ht-root.boot @@ -39,21 +39,10 @@ $historyDisplayWidth := 120 $newline := char 10 downlink page == - $saturn => downlinkSaturn page htInitPage('"Bridge",nil) htSay('"\replacepage{", page, '"}") htShowPage() -downlinkSaturn fn == - u := dbReadLines(fn) - lines := '"" - while u is [line,:u] repeat - n := MAXINDEX line - n < 1 => nil - line.0 = (char '_%) => nil - lines := strconc(lines,line) - issueHTSaturn lines - dbNonEmptyPattern pattern == null pattern => '"*" pattern := STRINGIMAGE pattern |