patch 8.2.0857: GTK cell height can be a pixel too much

Problem: GTK cell height can be a pixel too much. Solution: Subtract 3 instead of 1 when rounding. (closes #6168)
2020-05-31 13:53:04 +02:00
parent 928eec649b
commit 5cd1cb9ff9
2 changed files with 4 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

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