diff options
Diffstat (limited to '')
-rw-r--r-- | bin/leda.ml | 5 |
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 |