2 files changed, 12 insertions, 0 deletions
diff --git a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx
index 4a665a871..08a3184b9 100644
--- a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx
+++ b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.cxx
@@ -19,6 +19,8 @@
 
 #include "../../config_lib.h"
 #include "Fl_Cocoa_Window_Driver.h"
+#include <FL/Fl_Double_Window.H>
+#include <FL/fl_draw.H>
 
 
 Fl_Window_Driver *Fl_Window_Driver::newWindowDriver(Fl_Window *w)
@@ -41,6 +43,15 @@ void Fl_Cocoa_Window_Driver::take_focus()
   set_key_window();
 }
 
+int Fl_Cocoa_Window_Driver::double_flush(int eraseoverlay) {
+  if ( ((Fl_Double_Window*)w)->as_overlay_window() ) {
+    Fl_Window_Driver::double_flush(eraseoverlay);
+  } else {
+    draw();
+  }
+  return 0;
+}
+
 
 //
 // End of "$Id$".
diff --git a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.h b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.h
index b0c756aa1..e7f683689 100644
--- a/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.h
+++ b/src/drivers/Cocoa/Fl_Cocoa_Window_Driver.h
@@ -47,6 +47,7 @@ class FL_EXPORT Fl_Cocoa_Window_Driver : public Fl_Window_Driver
 public:
   Fl_Cocoa_Window_Driver(Fl_Window*);
   virtual void take_focus();
+  int double_flush(int eraseoverlay);
 };