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