diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-03-12 15:29:55 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-03-12 15:29:55 -0700 |
| commit | ca4ca1a27afb2fc89b60c19c60b47302a625b422 (patch) | |
| tree | 0a261f77ad6f30af7d40b11ccf2233e4c430ed21 /trace.mu | |
| parent | d92a6115b918b335ebed80ce7c411fe7937c93b3 (diff) | |
| download | mu-ca4ca1a27afb2fc89b60c19c60b47302a625b422.tar.gz | |
890
Diffstat (limited to 'trace.mu')
| -rw-r--r-- | trace.mu | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/trace.mu b/trace.mu index 89e0d17c..09664092 100644 --- a/trace.mu +++ b/trace.mu @@ -1012,6 +1012,7 @@ (function browse-trace [ (default-space:space-address <- new space:literal 30:literal/capacity) + ($print (("parsing trace... (might take a while, depending on how long the trace is\n" literal))) (x:string-address <- next-input) (screen-height:integer <- next-input) (s:stream-address <- init-stream x:string-address) |