ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: increase lowest-possible font size

Browse Source 
This patch fixes rare freezes of menu view instances, which could happen boot
time whenever the leitzentale GUI happens to get initialized before the display
driver finished setting up a reasonable mode. In this case, the resolution-
dependent font size can temporarily get almost zero, tripping up the glyph
renderer.
This commit is contained in:
Norman Feske 2022-04-26 20:35:06 +02:00 committed by Christian Helmuth
parent df789b943c
commit 6cab572b8f
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
repos/gems/src/app/sculpt_manager/main.cc
View File

@ -114,6 +114,8 @@ struct Sculpt::Main : Input_event_handler,
if (px > 0.0)
_font_size_px = px; }); } }); } }); });
_font_size_px = max(_font_size_px, _min_font_size_px);
_handle_gui_mode();
/* visibility of fonts section of settings dialog may have changed */
@ -383,6 +385,8 @@ struct Sculpt::Main : Input_event_handler,
Settings _settings { };
double const _min_font_size_px = 6.0;
double _font_size_px = 14;
Area _screen_size { };
@ -1482,14 +1486,14 @@ void Sculpt::Main::_handle_gui_mode()
_font_size_px = (double)mode.area.h() / 60.0;
if (_settings.font_size == Settings::Font_size::SMALL) _font_size_px *= 0.85;
if (_settings.font_size == Settings::Font_size::LARGE) _font_size_px *= 1.35;
/*
* Limit lower bound of font size. Otherwise, the glyph rendering
* may suffer from division-by-zero problems.
*/
_font_size_px = max(_font_size_px, 2.0);
if (_settings.font_size == Settings::Font_size::SMALL) _font_size_px *= 0.85;
if (_settings.font_size == Settings::Font_size::LARGE) _font_size_px *= 1.35;
_font_size_px = max(_font_size_px, _min_font_size_px);
_fonts_config.generate([&] (Xml_generator &xml) {
xml.attribute("copy", true);