equal
deleted
inserted
replaced
1245 return 'close' in self._extra |
1245 return 'close' in self._extra |
1246 def extra(self): |
1246 def extra(self): |
1247 return self._extra |
1247 return self._extra |
1248 |
1248 |
1249 def tags(self): |
1249 def tags(self): |
1250 t = [] |
1250 return [] |
1251 for p in self.parents(): |
|
1252 t.extend(p.tags()) |
|
1253 return t |
|
1254 |
1251 |
1255 def bookmarks(self): |
1252 def bookmarks(self): |
1256 b = [] |
1253 b = [] |
1257 for p in self.parents(): |
1254 for p in self.parents(): |
1258 b.extend(p.bookmarks()) |
1255 b.extend(p.bookmarks()) |