patch gdlwxstream.cpp correct #1643

This could slow down a bit the plotting in wxwidgets mode.
gnudatalanguage · Sep 26, 2023 · 3f51bc8 · 3f51bc8
1 parent 9e75aee
commit 3f51bc8
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/gdlwxstream.cpp b/src/gdlwxstream.cpp
@@ -125,10 +125,11 @@ void GDLWXStream::SetGdlxwGraphicsPanel(gdlwxGraphicsPanel* w, bool isPlot)
 
 void GDLWXStream::Update()
 {
-  if( this->valid && container != NULL) {
+  if (this->valid && container != NULL) {
     container->Refresh();
-  GDLWidget::CallWXEventLoop();
- }
+	  flush(); //needed otherwise synchro is bad see #1643
+    GDLWidget::CallWXEventLoop();
+  }
 }
 ////should be used when one does not recreate a wxstream each time size changes...
 void GDLWXStream::SetSize( wxSize s )