patch 8.2.1913: GTK GUI: rounding for the cell height is too strict

Problem: GTK GUI: rounding for the cell height is too strict. Solution: Round up above 15/16 of a pixel. (closes #7203)
2020-10-27 20:43:26 +01:00
parent 68a48ee55e
commit 70cf45810c
2 changed files with 6 additions and 3 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 */
+/**/
+    1913,
 /**/
    1912,
 /**/