anchor.diff:  
   (defun widget-hide-on-delete (widget)
     "Utility function; intended to be connected to the DELETE-EVENT
  -signal on a GtkWindow. The function calls WIDGET-HIDE on its
  +signal on a WINDOW. The function calls WIDGET-HIDE on its
   argument, then returns T. If connected to DELETE-EVENT, the
   result is that clicking the close button for a window (on the window
   frame, top right corner usually) will hide but not destroy the
  
positive.code:   (widget widget)
    (text (or string null)))
  
  (defbinding widget-render-icon () gdk:pixbuf
    (widget widget)
    (stock-id string)
    (size icon-size)
    (detail string))
  
  (defbinding widget-push-composite-child () nil)
  
  
negative.code: 
  (defbinding widget-pop-colormap () nil)
  
  (defbinding %widget-set-default-colormap () nil
    (colormap gdk:colormap))
  
  (defun (setf widget-default-colormap) (colormap)
    (%widget-set-default-colormap colormap)
    colormap)
  
  (defbinding (widget-default-style "gtk_widget_get_default_style") () style)
  
  (defbinding (widget-default-colromap "gtk_widget_get_default_colormap") 
      () gdk:colormap)
  
  (defbinding (widget-default-visual "gtk_widget_get_default_visual") 
      () gdk:visual)
  
  (defbinding (widget-default-direction "gtk_widget_get_default_direction")
      () text-direction)
  
  (defbinding %widget-set-default-direction () nil
    (direction text-direction))
  
  (defun (setf widget-default-direction) (direction)
    (%widget-set-default-direction direction)
    direction)
  
  (defbinding widget-shape-combine-mask () nil
    (widget widget)
    (shape-mask (or null gdk:bitmap))
    (x-offset int)
    (y-offset int))
  
  