diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-09-15 13:17:00 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-09-15 13:17:00 +0200 |
| commit | 50bf7ce0c9f8c3ede2d1a02c734beba9d5a0504e (patch) | |
| tree | e11ea82ed47d606a467d8200c9a9e58712bce49a /src/gui_gtk_x11.c | |
| parent | 0571f3d6f92a7dab9c1e39acb40c2f8885887b28 (diff) | |
patch 8.1.2034: dark them of GTK 3 not supportedv8.1.2034
Problem: Dark them of GTK 3 not supported.
Solution: Add the "d" flag in 'guioptions'. (Jonathan Conder, closes #4934)
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 4940b87e2e..1bf836fce1 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3130,6 +3130,19 @@ update_window_manager_hints(int force_width, int force_height) } } +#if defined(FEAT_GUI_DARKTHEME) || defined(PROTO) + void +gui_mch_set_dark_theme(int dark) +{ +# if GTK_CHECK_VERSION(3,0,0) + GtkSettings *gtk_settings; + + gtk_settings = gtk_settings_get_for_screen(gdk_screen_get_default()); + g_object_set(gtk_settings, "gtk-application-prefer-dark-theme", (gboolean)dark, NULL); +# endif +} +#endif /* FEAT_GUI_DARKTHEME */ + #ifdef FEAT_TOOLBAR /* |