method private on_view_destroy () = match self#widget_opt_of_contents_opt contents with None -> () | Some w -> contents <- None; vbox#remove w