curses: Add some more api calls. Allow a getch that doesn't throw on errors because you need it for window resize.
parent
7609ab6eda
commit
a8173daca2
|
@ -322,6 +322,9 @@ PRIVATE>
|
|||
: wgetch ( window -- key ) ptr>> (wgetch) ;
|
||||
: getch ( -- key ) current-window get wgetch ;
|
||||
|
||||
: wgetch-err ( window -- key ) ptr>> ffi:wgetch ;
|
||||
: getch-err ( -- key ) current-window get wgetch-err ;
|
||||
|
||||
: waddch ( ch window -- ) ptr>> (waddch) ;
|
||||
: addch ( ch -- ) current-window get waddch ;
|
||||
|
||||
|
|
|
@ -280,3 +280,7 @@ FUNCTION: int wborder ( WINDOW* win, chtype ls, chtype rs, chtype ts, chtype bs,
|
|||
FUNCTION: int box ( WINDOW* win, chtype verch, chtype horch ) ;
|
||||
FUNCTION: int whline ( WINDOW* win, chtype ch, int n ) ;
|
||||
FUNCTION: int wvline ( WINDOW* win, chtype ch, int n ) ;
|
||||
|
||||
FUNCTION: bool is_term_resized ( int lines, int columns ) ;
|
||||
FUNCTION: int resize_term ( int lines, int columns ) ;
|
||||
FUNCTION: int resizeterm ( int lines, int columns ) ;
|
||||
|
|
Loading…
Reference in New Issue