From 3a43c3f3cab9fcc9f61452bfea078f4e467fcbc8 Mon Sep 17 00:00:00 2001
From: nyamatongwe <unknown>
Date: Mon, 2 May 2011 21:49:02 +1000
Subject: Making scroll bars 1 pixel shorter as this prevents shrink caused by
 touching resize corner.

---
 gtk/ScintillaGTK.cxx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx
index 5b34e448d..7afa1e542 100644
--- a/gtk/ScintillaGTK.cxx
+++ b/gtk/ScintillaGTK.cxx
@@ -1763,7 +1763,7 @@ void ScintillaGTK::Resize(int width, int height) {
 		gtk_widget_show(GTK_WIDGET(PWidget(scrollbarh)));
 		alloc.x = 0;
 		alloc.y = height - scrollBarHeight;
-		alloc.width = Platform::Maximum(1, width - scrollBarWidth) + 1;
+		alloc.width = Platform::Maximum(1, width - scrollBarWidth);
 		alloc.height = horizontalScrollBarHeight;
 		gtk_widget_size_allocate(GTK_WIDGET(PWidget(scrollbarh)), &alloc);
 	} else {
@@ -1775,7 +1775,7 @@ void ScintillaGTK::Resize(int width, int height) {
 		alloc.x = width - scrollBarWidth;
 		alloc.y = 0;
 		alloc.width = scrollBarWidth;
-		alloc.height = Platform::Maximum(1, height - scrollBarHeight) + 1;
+		alloc.height = Platform::Maximum(1, height - scrollBarHeight);
 		if (!showSBHorizontal)
 			alloc.height += scrollBarWidth-1;
 		gtk_widget_size_allocate(GTK_WIDGET(PWidget(scrollbarv)), &alloc);
-- 
cgit v1.2.3