diff options
author | mbkma <[email protected]> | 2020-07-07 15:57:46 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-07-29 16:47:54 +0200 |
commit | 2edb465b646f671f3372c70f020bd3d3076e86ad (patch) | |
tree | 0203909db2933fef2bff19084b67ae8f4ccfef19 /pluma/pluma-view.h | |
parent | 8f02e21f3703c9549fb357986f77c9534186f2ab (diff) | |
download | pluma-2edb465b646f671f3372c70f020bd3d3076e86ad.tar.bz2 pluma-2edb465b646f671f3372c70f020bd3d3076e86ad.tar.xz |
Port main program to GSettings
Remove pluma_prefs_manager.
Plugins were already ported to GSettings.
Based on: https://gitlab.gnome.org/GNOME/gedit/-/commit/4215be0e8924f45170683493beaa2695e8e2e483
Diffstat (limited to 'pluma/pluma-view.h')
-rw-r--r-- | pluma/pluma-view.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pluma/pluma-view.h b/pluma/pluma-view.h index 4caf2af2..c2f5e1df 100644 --- a/pluma/pluma-view.h +++ b/pluma/pluma-view.h @@ -99,8 +99,8 @@ void pluma_view_select_all (PlumaView *view); void pluma_view_scroll_to_cursor (PlumaView *view); -void pluma_override_font (const gchar *item, - GtkWidget *widget, +void pluma_override_font (PlumaView *view, + const gchar *item, PangoFontDescription *font); void pluma_view_set_font (PlumaView *view, |