diff options
| author | nyamatongwe <devnull@localhost> | 2001-12-19 07:42:43 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2001-12-19 07:42:43 +0000 |
| commit | cac7e92c13a813dff29606fb29d273f9fc0c95a8 (patch) | |
| tree | 2b7025f7018ab826f0c5da3e14cc6299430bd783 /gtk/ScintillaGTK.cxx | |
| parent | f7efb69b3e636f340bd6a956982ee4eb2ba1c8ab (diff) | |
| download | scintilla-mirror-cac7e92c13a813dff29606fb29d273f9fc0c95a8.tar.gz | |
Wrapping supported.
Diffstat (limited to 'gtk/ScintillaGTK.cxx')
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index cfaa70971..2967d9015 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -1020,7 +1020,6 @@ void ScintillaGTK::UnclaimSelection(GdkEventSelection *selection_event) { void ScintillaGTK::Resize(int width, int height) { //Platform::DebugPrintf("Resize %d %d\n", width, height); //printf("Resize %d %d\n", width, height); - DropGraphics(); // Not always needed, but some themes can have different sizes of scrollbars scrollBarWidth = GTK_WIDGET(PWidget(scrollbarv))->requisition.width; @@ -1051,7 +1050,7 @@ void ScintillaGTK::Resize(int width, int height) { alloc.height = Platform::Maximum(1, height - scrollBarHeight) + 1; gtk_widget_size_allocate(GTK_WIDGET(PWidget(scrollbarv)), &alloc); - SetScrollBars(); + ChangeSize(); } gint ScintillaGTK::PressThis(GdkEventButton *event) { |