upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-04-25 08:33:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Immediately update the UI when pixel scale changes in preferences

Browse Source 
* the dialog now raises a resize event in this case
* raise_resize_event() now activates linked handlers immediately,
  in stead of waiting until the next event pump.
This commit is contained in:
Tommy 2022-07-17 23:47:51 +12:00
parent 7877158b69
commit a18eef1c5e
2 changed files with 19 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
src/events.cpp
View File

@ -446,6 +446,19 @@ bool has_focus(const sdl_handler* hand, const SDL_Event* event)
return false;
}
static void raise_window_event(const SDL_Event& event)
{
for(auto& context : event_contexts) {
for(auto handler : context.handlers) {
handler->handle_window_event(event);
}
}
for(auto global_handler : event_contexts.front().handlers) {
global_handler->handle_window_event(event);
}
}
// TODO: I'm uncertain if this is always safe to call at static init; maybe set in main() instead?
static const std::thread::id main_thread = std::this_thread::get_id();
@ -615,18 +628,7 @@ void pump()
break;
}
// make sure this runs in it's own scope.
{
for(auto& context : event_contexts) {
for(auto handler : context.handlers) {
handler->handle_window_event(event);
}
}
for(auto global_handler : event_contexts.front().handlers) {
global_handler->handle_window_event(event);
}
}
raise_window_event(event);
// This event was just distributed, don't re-distribute.
continue;
@ -735,7 +737,7 @@ void raise_resize_event()
event.window.data1 = size.x;
event.window.data2 = size.y;
SDL_PushEvent(&event);
raise_window_event(event);
}
void raise_draw_event()

4
src/gui/dialogs/preferences_dialog.cpp
View File

@ -18,6 +18,7 @@
#include "gui/dialogs/preferences_dialog.hpp"
#include "events.hpp"
#include "filesystem.hpp"
#include "formatter.hpp"
#include "formula/string_utils.hpp"
@ -324,6 +325,9 @@ void preferences_dialog::apply_pixel_scale()
// Update draw buffers, taking these into account.
video::update_buffers();
// Raise a window resize event so we can react to the change
events::raise_resize_event();
}