summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--bin/leda.ml5
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/leda.ml b/bin/leda.ml
index a509c37..abe1839 100644
--- a/bin/leda.ml
+++ b/bin/leda.ml
@@ -27,6 +27,9 @@ let () =
let _ = Curses.getch () in
let _ = Curses.endwin () in
Lwt.return ()
- | Error m -> Lwt_io.printl m)
+ | Error m ->
+ let _ = Curses.refresh () in
+ let _ = Curses.endwin () in
+ Lwt_io.printl m)
| Error m -> Lwt_io.printl m
end