diff options
| author | nyamatongwe <devnull@localhost> | 2011-05-02 21:49:02 +1000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2011-05-02 21:49:02 +1000 |
| commit | e356ee38978fcd0da2565ab6e5cae6dfa1d709ad (patch) | |
| tree | b7626a0a8d9cf2bb378b7ebe9848aa11f20605f1 | |
| parent | 2d2f4a913c0b66c24f6c587681d98ee2718cf760 (diff) | |
| download | scintilla-mirror-e356ee38978fcd0da2565ab6e5cae6dfa1d709ad.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); |