method set_wrap_mode m =
      source_view#set_wrap_mode m