From 0c0d1ea5cdb96a98e7eb62edbd1acb534ae12940 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 13 May 2017 12:42:17 -0700 Subject: 3854 Revert commits 3824, 3850 and 3852. We'll redo them more carefully. --- edit/001-editor.mu | 2 ++ 1 file changed, 2 insertions(+) (limited to 'edit/001-editor.mu') diff --git a/edit/001-editor.mu b/edit/001-editor.mu index a6dde85b..d81278ae 100644 --- a/edit/001-editor.mu +++ b/edit/001-editor.mu @@ -6,8 +6,10 @@ def main text:text [ local-scope load-ingredients open-console + hide-screen 0/screen e:&:editor <- new-editor text, 0/left, 5/right render 0/screen, e + show-screen 0/screen wait-for-event 0/console close-console ] -- cgit 1.4.1-2-gfad0