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