method save =
      let f () =
        if self#buffer_modified then
          self#do_save
        else
          Ed_misc.set_active_action_message "(No changes need to be saved)"
      in
      Some f