From 50bf7ce0c9f8c3ede2d1a02c734beba9d5a0504e Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sun, 15 Sep 2019 13:17:00 +0200 Subject: patch 8.1.2034: dark them of GTK 3 not supported Problem: Dark them of GTK 3 not supported. Solution: Add the "d" flag in 'guioptions'. (Jonathan Conder, closes #4934) --- src/feature.h | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/feature.h') diff --git a/src/feature.h b/src/feature.h index c4ccd2177c..dc5accc7a1 100644 --- a/src/feature.h +++ b/src/feature.h @@ -646,6 +646,13 @@ # define FEAT_MENU #endif +/* + * GUI dark theme variant + */ +#if defined(FEAT_GUI_GTK) && defined(USE_GTK3) +# define FEAT_GUI_DARKTHEME +#endif + /* * GUI tabline */ -- cgit v1.2.3