char force_doublebuffering_;

Fl_Double_Window(int W, int H, const char *L=0);

function Create
       (W, H : in Integer;
        Text : in String := "")
    return Double_Window;

Fl_Double_Window(int X, int Y, int W, int H, const char *L=0);

function Create
       (X, Y, W, H : in Integer;
        Text       : in String := "")
    return Double_Window;

void flush();

procedure Flush
       (This : in out Double_Window);

void hide();

procedure Hide
       (This : in out Double_Window);

void resize(int,int,int,int);

procedure Resize
       (This       : in out Double_Window;
        X, Y, W, H : in     Integer);

void show();

procedure Show
       (This : in out Double_Window);

void show(int a, char **b);

void flush(int eraseoverlay);