let refresh s =
       ignore (Curses.wmove s.window 0 0);
       ignore (Curses.wmove s.window_cave 0 0);
       ignore (Curses.wrefresh s.window);
       ignore (Curses.wrefresh s.window_cave)