diff options
Diffstat (limited to 'desktop/gui.h')
-rw-r--r-- | desktop/gui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index 3554a87ee..62dcf27a7 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -28,6 +28,7 @@ void gui_window_hide(gui_window* g); void gui_window_redraw(gui_window* g, unsigned long x0, unsigned long y0, unsigned long x1, unsigned long y1); void gui_window_redraw_window(gui_window* g); +void gui_window_update_box(gui_window *g, int x0, int y0, int x1, int y1); void gui_window_set_scroll(gui_window* g, unsigned long sx, unsigned long sy); unsigned long gui_window_get_width(gui_window* g); void gui_window_set_extent(gui_window* g, unsigned long width, unsigned long height); |