diff options
| author | nyamatongwe <unknown> | 2011-05-02 21:49:02 +1000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2011-05-02 21:49:02 +1000 |
| commit | 3a43c3f3cab9fcc9f61452bfea078f4e467fcbc8 (patch) | |
| tree | 7743fe68f5a7f88adf025ac7522651afcea26765 | |
| parent | 8bc99478402175a5be51bbb3049b1013ab21fc0e (diff) | |
| download | scintilla-mirror-3a43c3f3cab9fcc9f61452bfea078f4e467fcbc8.tar.gz | |
Making scroll bars 1 pixel shorter as this prevents shrink caused
by touching resize corner.
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 4 |
1 files 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); |