File vte-widget_get_preferred_height.patch of Package vte.4189
From 3f25e734efeef92ff98ae48614af96db63cb0ff3 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Mon, 23 May 2016 10:42:41 +0100
Subject: [PATCH] widget_get_preferred_height: use vertical padding, not
horizontal
Bug: https://bugzilla.gnome.org/show_bug.cgi?id=760944
---
src/vte.cc | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/vte.cc b/src/vte.cc
index efad1f7..02bea92 100644
--- a/src/vte.cc
+++ b/src/vte.cc
@@ -8189,10 +8189,10 @@ VteTerminalPrivate::widget_get_preferred_height(int *minimum_height,
*minimum_height = m_char_height * 1;
*natural_height = m_char_height * m_row_count;
- *minimum_height += m_padding.left +
- m_padding.right;
- *natural_height += m_padding.left +
- m_padding.right;
+ *minimum_height += m_padding.top +
+ m_padding.bottom;
+ *natural_height += m_padding.top +
+ m_padding.bottom;
_vte_debug_print(VTE_DEBUG_WIDGET_SIZE,
"[Terminal %p] minimum_height=%d, natural_height=%d for %ldx%ld cells.\n",
--
2.8.1