Font size and tab size don't work

[LuigiImVector]

When I try to change the font size (Appearance > Font size) or the tab size (Editor > Tab size) they have no effect on the theme.

The only way to change the font size is to use the "Style Settings" plugin (as mentioned in #55), but this is a bit annoying.

Current version: v0.14.15

[colineckert]

Hey @LuigiImVector FYI I have pushed a fix for the font size slider and closed #55.

No fix yet for tab size. Thanks!