| commit | 26af8e54ff0d423b7258ef84d175c8570740629a | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Sun Apr 04 15:57:12 2021 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Sun Apr 04 15:57:12 2021 +0200 |
| tree | 082b59d3be9124ed2e78b62a3b95c2cc659519bf | |
| parent | 3a6aadb3289be5114db6cce1c8c18b3f5f14d17c [diff] [blame] |
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)
diff --git a/src/version.c b/src/version.c index 2b0955c..8a95e67 100644 --- a/src/version.c +++ b/src/version.c
@@ -751,6 +751,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2709, +/**/ 2708, /**/ 2707,