method edit_options () =
      if edit_options param then
        (self#set_widths ())