method unselect v =
      selection <- None ;
      self#on_unselect v