diff options
| author | nyamatongwe <unknown> | 2003-02-14 13:31:09 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2003-02-14 13:31:09 +0000 |
| commit | 97edb1f6e1ba466cbf3ee0fdd0b39a1569ee9c5d (patch) | |
| tree | b610cae457aca23e8465b30b454bb7953eab7f8a /gtk/ScintillaGTK.cxx | |
| parent | bff17e28eb0ae421cf238e67c2a6818b9a7d91f6 (diff) | |
| download | scintilla-mirror-97edb1f6e1ba466cbf3ee0fdd0b39a1569ee9c5d.tar.gz | |
Turn double buffering off for Scintilla to avoid flashing.
Diffstat (limited to 'gtk/ScintillaGTK.cxx')
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index ebd6556a1..64b283dc1 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -507,6 +507,9 @@ void ScintillaGTK::Initialise() { parentClass = reinterpret_cast<GtkWidgetClass *>( gtk_type_class(gtk_container_get_type())); +#if GTK_MAJOR_VERSION >= 2 + gtk_widget_set_double_buffered(PWidget(wMain), FALSE); +#endif GTK_WIDGET_SET_FLAGS(PWidget(wMain), GTK_CAN_FOCUS); GTK_WIDGET_SET_FLAGS(GTK_WIDGET(PWidget(wMain)), GTK_SENSITIVE); gtk_widget_set_events(PWidget(wMain), |