From 6f4ce8654319ec2d5099d5d01a63d8e2e5ea0c6f Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 13 May 2017 18:39:41 -0700
Subject: 3857

---
 edit/004-programming-environment.mu | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'edit')

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
 
-- 
cgit 1.4.1-2-gfad0