diff options
| author | James Bursa <james@netsurf-browser.org> | 2007-08-07 03:55:18 +0000 |
|---|---|---|
| committer | James Bursa <james@netsurf-browser.org> | 2007-08-07 03:55:18 +0000 |
| commit | 07c54283e364bd66e21fbd659ea0dd469201a747 (patch) | |
| tree | 17bcc30ded5b29d3c2c769ef9933228168aa69f1 /riscos/gui.c | |
| parent | 7ec7ba37dbeeee678ec573bcfe0594660fbe5195 (diff) | |
| download | netsurf-07c54283e364bd66e21fbd659ea0dd469201a747.tar.gz netsurf-07c54283e364bd66e21fbd659ea0dd469201a747.tar.bz2 | |
Move window scaling from platform-specific code to desktop/browser.c. Modify gtk gui to handle scaling in the same way as RO.
svn path=/trunk/netsurf/; revision=3478
Diffstat (limited to 'riscos/gui.c')
| -rw-r--r-- | riscos/gui.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/riscos/gui.c b/riscos/gui.c index e0ccfb048..408f62f84 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -156,9 +156,6 @@ static wimp_w gui_track_wimp_w; /** Browser window which the pointer is over, or 0 if none. */ struct gui_window *gui_track_gui_window; -/** Some windows have been resized, and should be reformatted. */ -bool gui_reformat_pending = false; - gui_drag_type gui_current_drag_type; wimp_t task_handle; /**< RISC OS wimp task handle. */ static clock_t gui_last_poll; /**< Time of last wimp_poll. */ @@ -883,7 +880,7 @@ void gui_poll(bool active) xhourglass_off(); if (active) { event = wimp_poll(mask, &block, 0); - } else if (sched_active || gui_track || gui_reformat_pending || + } else if (sched_active || gui_track || browser_reformat_pending || bitmap_maintenance) { os_t t = os_read_monotonic_time(); @@ -914,7 +911,7 @@ void gui_poll(bool active) schedule_run(); ro_gui_window_update_boxes(); - if (gui_reformat_pending && event == wimp_NULL_REASON_CODE) + if (browser_reformat_pending && event == wimp_NULL_REASON_CODE) ro_gui_window_process_reformats(); else if (bitmap_maintenance_priority || (bitmap_maintenance && event == wimp_NULL_REASON_CODE)) |