f11d7775ffe67b9648dc285f816e4b57e52bc9c2
11 int display_rows
, display_cols
;
13 void display_beep(void)
18 static void get_screen_size (void) {
19 getmaxyx(stdscr
, display_rows
, display_cols
);
22 void display_setup(void)
35 void display_cleanup(void)
40 void display_moveto(int y
, int x
)
45 void display_refresh(void)
50 void display_write_str(char *str
)
55 void display_write_chars(char *str
, int len
)
57 waddnstr(stdscr
, str
, len
);
61 int attrs
[MAXCOLOURS
];
63 void display_define_colour(int colour
, int fg
, int bg
)
65 static int colours
[8] = {
76 assert(colour
>= 0 && colour
< MAXCOLOURS
&& colour
< COLOR_PAIRS
-2);
78 assert(!(bg
& ~7)); /* bold backgrounds are nonportable */
79 init_pair(colour
+1, colours
[fg
& 7], colours
[bg
]);
80 attrs
[colour
] = (fg
& 8 ? A_BOLD
: 0) | COLOR_PAIR(colour
+1);
83 void display_set_colour(int colour
)
85 wattrset(stdscr
, attrs
[colour
]);
88 void display_clear_to_eol(void)
95 int display_getkey(void)
98 extern void schedule_update(void);
100 if (last_getch
!= ERR
) {
101 int ret
= last_getch
;
107 if (ret
== KEY_RESIZE
) {
115 int display_input_to_flush(void)
118 if (last_getch
!= ERR
)
131 void display_post_error(void)
133 /* I don't _think_ we need do anything here */
136 void display_recheck_size(void)