00001 
00002 
00003 
00004 
00005 
00006 
00007 
00008 
00009 
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 
00018 
00019 
00020 
00021 
00022 #ifndef _FL_DOUBLE_WINDOW_H_
00023 #define _FL_DOUBLE_WINDOW_H_
00024 
00025 #include "Fl_Window.h"
00026 
00028 class FL_API Fl_Double_Window : public Fl_Window {
00029 public:
00030     Fl_Double_Window(int W, int H, const char *l = 0);
00031     Fl_Double_Window(int X, int Y, int W, int H, const char *l = 0);
00032     ~Fl_Double_Window();
00033 
00034     virtual void layout();
00035 
00036 protected:
00037     virtual void create();
00038     virtual void flush();
00039     void flush(bool eraseoverlay);
00040     virtual void destroy();
00041 
00042 private:
00043     void free_backbuffer();
00044 };
00045 
00046 #endif