diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2016-02-03 15:20:52 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2016-02-03 15:31:56 +0100 |
| commit | a1fa7643092ba2e1ee2cbe38392fba3d15c6718d (patch) | |
| tree | 30c18a875c1d291dac0ff317083489b1b431a087 /src/interface-gtk/interface-gtk.h | |
| parent | 45413d04eacfd9dc23904cb4893918309d3a6a36 (diff) | |
| download | sciteco-a1fa7643092ba2e1ee2cbe38392fba3d15c6718d.tar.gz | |
Gtk UI: automatically configure font of the command line
* This uses the font and size of STYLE_DEFAULT.
* We cannot just pass the font down to the user CSS.
There are no font variables in Gtk CSS.
Therefore we configure the command line widget directly.
This can still be overwritten by an user CSS.
* Instead of using the deprecated gtk_widget_modify_font(),
we generate CSS. Ugly, but still better than writing our
own style provider.
* Font setting is exposed to the user using a new optional
Q-Reg "lexer.font". The numeric part is the point size
multiplied with 100 (fractional point size).
* Font setting in lexer.auto is skipped in Curses
where it is irrelevant anyway to speed up startup.
* Perhaps the "Monospace" font name is also a good default
value instead of Courier?
fixup
Diffstat (limited to 'src/interface-gtk/interface-gtk.h')
| -rw-r--r-- | src/interface-gtk/interface-gtk.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/interface-gtk/interface-gtk.h b/src/interface-gtk/interface-gtk.h index e43b7bf..7762ee4 100644 --- a/src/interface-gtk/interface-gtk.h +++ b/src/interface-gtk/interface-gtk.h @@ -168,8 +168,6 @@ public: void handle_key_press(bool is_shift, bool is_ctl, guint keyval); private: - static void widget_set_font(GtkWidget *widget, const gchar *font_name); - void set_css_variables_from_view(ViewGtk *view); void refresh_info(void); |