class interface WIN_WINDOW

creation
   make_handle (h: INTEGER)
      --  Create from handle.


feature(s) from MEMORY
   --  Removal :

   dispose

   full_collect
      --  Force a full collection cycle if garbage collection is
      --  enabled; do nothing otherwise.



end of WIN_WINDOW