diff options
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); |