diff options
| author | nyamatongwe <unknown> | 2001-12-19 07:42:43 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2001-12-19 07:42:43 +0000 |
| commit | a3e9b9fcf48df51d55fb1e5c2c696d73dc72c151 (patch) | |
| tree | 2b7025f7018ab826f0c5da3e14cc6299430bd783 /gtk | |
| parent | f3801f3ee91582dbe10abec295840c794da1858e (diff) | |
| download | scintilla-mirror-a3e9b9fcf48df51d55fb1e5c2c696d73dc72c151.tar.gz | |
Wrapping supported.
Diffstat (limited to 'gtk')
| -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) { |