diff options
| author | nyamatongwe <unknown> | 2001-03-23 23:02:45 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2001-03-23 23:02:45 +0000 |
| commit | 212ccd9439be9110c99a8f01c0bd3105d65d7751 (patch) | |
| tree | ce239346166674694f5d4a1589501a13fcbed7a0 | |
| parent | 7f6c4fbe67e46ad9a2360526f1497856c16c1569 (diff) | |
| download | scintilla-mirror-212ccd9439be9110c99a8f01c0bd3105d65d7751.tar.gz | |
Hack around scroll bar size problem on GTK+ 1.2.9 / Gnome 1.4 by hardcoding
width to 16 if width is 0.
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index 75c19d733..f4602a5b7 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -893,7 +893,15 @@ void ScintillaGTK::Resize(int width, int height) { // Not always needed, but some themes can have different sizes of scrollbars scrollBarWidth = GTK_WIDGET(scrollbarv.GetID())->requisition.width; + if ((scrollBarWidth == 0)) { + scrollBarWidth = 16; + GTK_WIDGET(scrollbarv.GetID())->requisition.width = scrollBarWidth; + } scrollBarHeight = GTK_WIDGET(scrollbarh.GetID())->requisition.height; + if (horizontalScrollBarVisible && (scrollBarHeight == 0)) { + scrollBarHeight = 16; + GTK_WIDGET(scrollbarh.GetID())->requisition.height = scrollBarHeight; + } // These allocations should never produce negative sizes as they would wrap around to huge // unsigned numbers inside GTK+ causing warnings. |