mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-02 23:50:55 +00:00
sculpt: don't restart menu view if font changes
This patch enables the menu view's new ability to respond to font-size changes in Sculpt so that the menu view instanced no longer need to be restarted whenever the screen resolution or font size is changed. Fixes #3875
This commit is contained in:
parent
c05f716478
commit
aeeade53f9
@ -1355,15 +1355,7 @@ void Sculpt::Main::_handle_gui_mode()
|
|||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
/* font size may has changed */
|
/* font size may has changed, propagate fonts config of runtime view */
|
||||||
_panel_menu_view.trigger_restart();
|
|
||||||
_main_menu_view.trigger_restart();
|
|
||||||
_file_browser_menu_view.trigger_restart();
|
|
||||||
_network.trigger_dialog_restart();
|
|
||||||
_graph_menu_view.trigger_restart();
|
|
||||||
_popup_menu_view.trigger_restart();
|
|
||||||
_settings_menu_view.trigger_restart();
|
|
||||||
|
|
||||||
generate_runtime_config();
|
generate_runtime_config();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user