diff options
Diffstat (limited to 'gui/internal/ui/rules.go')
| -rw-r--r-- | gui/internal/ui/rules.go | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/gui/internal/ui/rules.go b/gui/internal/ui/rules.go index 97f3dcd..3bae8df 100644 --- a/gui/internal/ui/rules.go +++ b/gui/internal/ui/rules.go @@ -227,21 +227,12 @@ func newRulesView(w *Window) *rulesView { return r } -// applyPrefs sets the editor's font and whether the text is coloured. +// applyPrefs sets whether the configuration is coloured. func (r *rulesView) applyPrefs(p model.Prefs) { r.colours.setEnabled(p.Colours) if r.rules != nil && p.Colours { r.colours.paint(r.rules.Text) } - css := gtk.NewCSSProvider() - if p.FontSize > 0 { - css.LoadFromData(fmt.Sprintf("textview { font-size: %dpt; }", p.FontSize)) - } else { - css.LoadFromData("") - } - for _, v := range []*gtk.TextView{r.view, r.nums, r.out} { - v.StyleContext().AddProvider(css, 800) - } } // formsOf is the forms of the text in the editor, for the Forms sub-tab. |