equal
deleted
inserted
replaced
181 def _writebookmarks(self, marks): |
181 def _writebookmarks(self, marks): |
182 bookmarks.write(self) |
182 bookmarks.write(self) |
183 |
183 |
184 @storecache('phaseroots') |
184 @storecache('phaseroots') |
185 def _phaseroots(self): |
185 def _phaseroots(self): |
186 self._dirtyphases = False |
186 phaseroots, self._dirtyphases = phases.readroots( |
187 phaseroots = phases.readroots(self) |
187 self, self._phasedefaults) |
188 return phaseroots |
188 return phaseroots |
189 |
189 |
190 @propertycache |
190 @propertycache |
191 def _phaserev(self): |
191 def _phaserev(self): |
192 cache = [phases.public] * len(self) |
192 cache = [phases.public] * len(self) |