Searched refs:was_saved (Results 1 – 2 of 2) sorted by relevance
51 self.was_saved = -173 was_saved = -1 variable in UndoDelegator77 if is_saved != self.was_saved:78 self.was_saved = is_saved
49 self.was_saved = -171 was_saved = -1 variable in UndoDelegator75 if is_saved != self.was_saved:76 self.was_saved = is_saved