class type view =object..end
method changed : boolmethod close : booltrue if the associated window must be closed, too.method name : view_namemethod refresh : unitmethod ressource : ressource_namemethod ressource_kind : ressource_kind