patch 8.2.2709: the GTK GUI has a gap next to the scrollbar

Problem: The GTK GUI has a gap next to the scrollbar. Solution: Calculate the scrollbar padding for GTK. (closes #8027)
2021-04-04 15:57:12 +02:00
parent 3a6aadb328
commit 26af8e54ff
2 changed files with 20 additions and 6 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =

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