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/006-sandbox-copy.mu | 2 ++ 1 file changed, 2 insertions(+) (limited to 'edit/006-sandbox-copy.mu') diff --git a/edit/006-sandbox-copy.mu b/edit/006-sandbox-copy.mu index d3f82e88..9df5e625 100644 --- a/edit/006-sandbox-copy.mu +++ b/edit/006-sandbox-copy.mu @@ -128,8 +128,10 @@ after [ break-unless copy? copy?, env <- try-copy-sandbox click-row, env break-unless copy? + hide-screen screen screen <- render-sandbox-side screen, env, render screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env + show-screen screen loop +next-event } ] -- cgit 1.4.1-2-gfad0