diff options
Diffstat (limited to 'edit')
-rw-r--r-- | edit/004-programming-environment.mu | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/edit/004-programming-environment.mu b/edit/004-programming-environment.mu index 1ab2f814..0d4e907d 100644 --- a/edit/004-programming-environment.mu +++ b/edit/004-programming-environment.mu @@ -475,18 +475,6 @@ def update-cursor screen:&:screen, recipes:&:editor, current-sandbox:&:editor, s screen <- move-cursor screen, cursor-row, cursor-column ] -# ctrl-l - redraw screen (just in case it printed junk somehow) - -after <global-type> [ - { - redraw-screen?:bool <- equal c, 12/ctrl-l - break-unless redraw-screen? - screen <- render-all screen, env:&:environment, render - sync-screen screen - loop +next-event - } -] - # ctrl-n - switch focus # todo: test this |