diff src/gui_gtk_x11.c @ 20607:9f5f64cc9720 v8.2.0857

patch 8.2.0857: GTK cell height can be a pixel too much Commit: https://github.com/vim/vim/commit/5cd1cb9ff9d04979ff4cbc36ca8416d83364505d Author: Bram Moolenaar <Bram@vim.org> Date: Sun May 31 13:53:04 2020 +0200 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 https://github.com/vim/vim/issues/6168)
author Bram Moolenaar <Bram@vim.org>
date Sun, 31 May 2020 14:00:03 +0200
parents 3609e842f822
children d64520bfafa0
line wrap: on
line diff
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -4711,7 +4711,8 @@ gui_mch_adjust_charheight(void)
 
     pango_font_metrics_unref(metrics);
 
-    gui.char_height = (ascent + descent + PANGO_SCALE - 1) / PANGO_SCALE
+    // Round up, but not when the value is very close (e.g. 15.0009).
+    gui.char_height = (ascent + descent + PANGO_SCALE - 3) / PANGO_SCALE
 								+ p_linespace;
     // LINTED: avoid warning: bitwise operation on signed value
     gui.char_ascent = PANGO_PIXELS(ascent + p_linespace * PANGO_SCALE / 2);