diff options
Diffstat (limited to 'edit/005-sandbox.mu')
| -rw-r--r-- | edit/005-sandbox.mu | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index e63b7141..655d3eca 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -353,13 +353,6 @@ def sandbox-menu-columns left:number, right:number -> edit-button-left:number, e copy-button-right:number <- subtract delete-button-left, 1 ] -def move-cursor-to-column screen:address:screen, column:number -> screen:address:screen [ - local-scope - load-ingredients - row:number, _ <- cursor-position screen - move-cursor screen, row, column -] - # assumes programming environment has no sandboxes; restores them from previous session def restore-sandboxes env:address:programming-environment-data -> env:address:programming-environment-data [ local-scope |