IF (rd.port.map # NIL) & (rd.port.gc # NIL) THEN (* buffered drawing *)
            map := rd.port.map; gc := rd.port.gc; Gdk.gdk_gc_ref(gc)
         ELSE (* unbuffered drawing *)
            map := rd.port.da.window; gc := Gdk.gdk_gc_new(map)
         END;

map := rd.port.da.window; gc := Gdk.gdk_gc_new(map);

   PROCEDURE (p: Port) OpenBuffer* (l, t, r, b: INTEGER);
      (*VAR rect: Gdk.GdkRectangle;*)
   BEGIN
      ASSERT(p.da # NIL, 20);
      IF l < 0 THEN l := 0 END;
      IF t < 0 THEN t := 0 END;
      IF r > p.w THEN r := p.w END;
      IF b > p.h THEN b := p.h END;
      IF (l < r) & (t < b) THEN
         p.bl := l; p.bt := t; p.br := r; p.bb := b;
         p.map := Gdk.gdk_pixmap_new(p.da.window, p.w, p.h , -1);
         p.gc := Gdk.gdk_gc_new(p.map)
      END
   END OpenBuffer;
      
   PROCEDURE (p: Port) CloseBuffer*;
   BEGIN
      IF p.map # NIL THEN
         Gdk.gdk_draw_drawable(p.da.window, p.da.style.white_gc, p.map, p.bl, p.bt, p.bl, p.bt, p.br - p.bl, p.bb - p.bt);
         Gdk.gdk_drawable_unref(p.map);
         p.map := NIL;
         Gdk.gdk_gc_unref(p.gc);
         p.gc := NIL
      END
   END CloseBuffer;

PROCEDURE (p: Port) OpenBuffer* (l, t, r, b: INTEGER);
      VAR rect: Gdk.GdkRectangle;
   BEGIN    (* Gtk-based double buffering *)
      rect.x := l; rect.y := t; rect.width := r - l; rect.height := b - t;
      Gdk.gdk_window_begin_paint_rect(p.da.window, SYSTEM.ADR(rect))
      
   END OpenBuffer;
      
   PROCEDURE (p: Port) CloseBuffer*;
   BEGIN Gdk.gdk_window_end_paint(p.da.window);
   END CloseBuffer;