mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
as it is used for the "Set as default" popup. This allows having that text accurate on widgets without an actual name_text (e.g., the font size wheel). Fix #7231 Co-authored-by: Frans de Jonge <fransdejonge@gmail.com>