method connect_modified_changed view_id cb =
      self#remove_modified_changed view_id;
      let sid = buffer#connect#modified_changed cb in
      modified_changed_signal_ids <- (view_id, sid) :: modified_changed_signal_ids