diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-22 11:37:52 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-22 11:37:52 -0700 |
| commit | a4020a806fca821931a3ca8279ef2697bb62583e (patch) | |
| tree | d960378c2fe39bf191a29ff28daf5e1d454352ba /edit/005-sandbox.mu | |
| parent | bde85557ac92d30564ce17ae1f5b5924e88982d9 (diff) | |
| download | mu-a4020a806fca821931a3ca8279ef2697bb62583e.tar.gz | |
3939
Diffstat (limited to 'edit/005-sandbox.mu')
| -rw-r--r-- | edit/005-sandbox.mu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index 2be439e3..255dfc35 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -247,6 +247,7 @@ def! render-sandbox-side screen:&:screen, env:&:environment, render-editor:rende local-scope load-ingredients trace 11, [app], [render sandbox side] + old-top-idx:num <- save-top-idx screen current-sandbox:&:editor <- get *env, current-sandbox:offset row:num, column:num <- copy 1, 0 left:num <- get *current-sandbox, left:offset @@ -265,6 +266,8 @@ def! render-sandbox-side screen:&:screen, env:&:environment, render-editor:rende sandbox:&:sandbox <- get *env, sandbox:offset row, screen <- render-sandboxes screen, sandbox, left, right, row, render-from clear-rest-of-screen screen, row, left, right + # + assert-no-scroll screen, old-top-idx ] def render-sandboxes screen:&:screen, sandbox:&:sandbox, left:num, right:num, row:num, render-from:num, idx:num -> row:num, screen:&:screen, sandbox:&:sandbox [ |