equal
deleted
inserted
replaced
802 def bookmarks(self): |
802 def bookmarks(self): |
803 b = [] |
803 b = [] |
804 for p in self.parents(): |
804 for p in self.parents(): |
805 b.extend(p.bookmarks()) |
805 b.extend(p.bookmarks()) |
806 return b |
806 return b |
|
807 |
|
808 def phase(self): |
|
809 phase = 1 # default phase to draft |
|
810 for p in self.parents(): |
|
811 phase = max(phase, p.phase()) |
|
812 return phase |
|
813 |
|
814 def hidden(self): |
|
815 return False |
807 |
816 |
808 def children(self): |
817 def children(self): |
809 return [] |
818 return [] |
810 |
819 |
811 def flags(self, path): |
820 def flags(self, path): |