diff options
Diffstat (limited to 'sandbox')
-rw-r--r-- | sandbox/004-programming-environment.mu | 7 | ||||
-rw-r--r-- | sandbox/005-sandbox.mu | 3 |
2 files changed, 7 insertions, 3 deletions
diff --git a/sandbox/004-programming-environment.mu b/sandbox/004-programming-environment.mu index 8204f296..e0667604 100644 --- a/sandbox/004-programming-environment.mu +++ b/sandbox/004-programming-environment.mu @@ -197,7 +197,6 @@ def render-all screen:&:screen, env:&:environment, render-editor:render-recipe - local-scope load-ingredients trace 10, [app], [render all] - old-top-idx:num <- save-top-idx screen # top menu trace 11, [app], [render top menu] width:num <- screen-width screen @@ -213,14 +212,14 @@ def render-all screen:&:screen, env:&:environment, render-editor:render-recipe - # current-sandbox:&:editor <- get *env, current-sandbox:offset screen <- update-cursor screen, current-sandbox, env - # - assert-no-scroll screen, old-top-idx ] # replaced in a later layer def render-sandbox-side screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-ingredients + trace 11, [app], [render sandboxes] + old-top-idx:num <- save-top-idx screen current-sandbox:&:editor <- get *env, current-sandbox:offset left:num <- get *current-sandbox, left:offset right:num <- get *current-sandbox, right:offset @@ -231,6 +230,8 @@ def render-sandbox-side screen:&:screen, env:&:environment, render-editor:render draw-horizontal screen, row, left, right row <- add row, 1 clear-screen-from screen, row, left, left, right + # + assert-no-scroll screen, old-top-idx ] def update-cursor screen:&:screen, current-sandbox:&:editor, env:&:environment -> screen:&:screen [ diff --git a/sandbox/005-sandbox.mu b/sandbox/005-sandbox.mu index 7e760502..3d06b7d9 100644 --- a/sandbox/005-sandbox.mu +++ b/sandbox/005-sandbox.mu @@ -231,6 +231,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 @@ -249,6 +250,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, 0, env 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 [ |