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)
2019-09-15 13:17:00 +02:00
parent 0571f3d6f9
commit 50bf7ce0c9
8 changed files with 56 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -757,6 +757,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    2034,
 /**/
    2033,
 /**/