Auto-update of the theme, reset all customization (font name, font size etc)

[pasqualedante]

I have customized some editor aspect (font, guideline color etc): after the last update all was reverted to default settings.