From aae10710052c7f3a6b9132b2d9a0a83863f8dd5b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 15 Feb 2018 23:52:29 -0800 Subject: 4207 --- sandbox/002-typing.mu | 2 -- 1 file changed, 2 deletions(-) (limited to 'sandbox/002-typing.mu') diff --git a/sandbox/002-typing.mu b/sandbox/002-typing.mu index 709e8d22..47885c4f 100644 --- a/sandbox/002-typing.mu +++ b/sandbox/002-typing.mu @@ -269,8 +269,6 @@ def editor-render screen:&:screen, editor:&:editor -> screen:&:screen, editor:&: left:num <- get *editor, left:offset right:num <- get *editor, right:offset row:num, column:num <- render screen, editor - clear-line-until screen, right - row <- add row, 1 draw-horizontal screen, row, left, right, 9480/horizontal-dotted row <- add row, 1 clear-screen-from screen, row, left, left, right -- cgit 1.4.1-2-gfad0