method double_click (_ : Ocvs_types.cvs_info) = ()