diff options
| author | Pablo Barciela <[email protected]> | 2018-07-24 00:54:36 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-07-30 17:33:51 +0200 |
| commit | b2ca8c4cb34f8efae18d4849eb25369c6a6b935b (patch) | |
| tree | 34b9423dad7875d7ce6540989978c057f2f8d12a /pluma/pluma-view.h | |
| parent | f952be314bfc867bbc7ab249af960407a4c1aed7 (diff) | |
| download | pluma-b2ca8c4cb34f8efae18d4849eb25369c6a6b935b.tar.bz2 pluma-b2ca8c4cb34f8efae18d4849eb25369c6a6b935b.tar.xz | |
pluma-view: sync the font in context-menu with gsettings key
Diffstat (limited to 'pluma/pluma-view.h')
| -rw-r--r-- | pluma/pluma-view.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pluma/pluma-view.h b/pluma/pluma-view.h index 7cb0094c..c8877d5f 100644 --- a/pluma/pluma-view.h +++ b/pluma/pluma-view.h @@ -99,6 +99,10 @@ void pluma_view_select_all (PlumaView *view); void pluma_view_scroll_to_cursor (PlumaView *view); +void pluma_override_font (const gchar *item, + GtkWidget *widget, + PangoFontDescription *font); + void pluma_view_set_font (PlumaView *view, gboolean def, const gchar *font_name); |