Updates:
Improved Theme Editor theme loading and performance, especially noticeable in cases with many widgets which inherit their font size from their parent widget or the theme (e.g. empty font settings).