Skip to content
  • Nicolas Fella's avatar
    Avoid needlessly reading font settings · adf5b6e0
    Nicolas Fella authored
    Currently we call syncFonts every time a platformtheme is created and updated, which is way too often.
    
    It is all global data, i.e. not specific to the concrete platformtheme instance, so move it to the style singleton.
    
    Also only read the settings for smallFont when fonts were actually changed.
    
    (cherry picked from commit 8c9435f0)
    adf5b6e0