diff options
| author | Vincent Sanders <vince@kyllikki.org> | 2014-06-30 16:40:56 +0100 |
|---|---|---|
| committer | Vincent Sanders <vince@kyllikki.org> | 2014-07-01 09:27:20 +0100 |
| commit | 18aefabd20a16dda9ed5363088f0da5ada0d4431 (patch) | |
| tree | 9447e1e0edb1d93b8ad575472e67bf7f844c5ca3 /desktop/gui.h | |
| parent | 06eb81235d975bc7721719d25ac114b4ab2c94da (diff) | |
| download | netsurf-18aefabd20a16dda9ed5363088f0da5ada0d4431.tar.gz netsurf-18aefabd20a16dda9ed5363088f0da5ada0d4431.tar.bz2 | |
change reformat to be driven from the scheduler like redraw
Diffstat (limited to 'desktop/gui.h')
| -rw-r--r-- | desktop/gui.h | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index d44b57d1c..a19f30115 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -105,7 +105,9 @@ struct gui_window_table { struct gui_window *existing, gui_window_create_flags flags); - /** destroy previously created gui window */ + /** + * Destroy previously created gui window + */ void (*destroy)(struct gui_window *g); /** @@ -168,6 +170,17 @@ struct gui_window_table { */ void (*update_extent)(struct gui_window *g); + /** + * Reformat a window. + * + * This is used to perform reformats when the page contents + * require reformating. The reformat is requested using + * browser_window_schedule_reformat and occours via a scheduled + * callback hence from top level context. + * + * \param g gui_window to reformat. + */ + void (*reformat)(struct gui_window *g); /* Optional entries */ |