equal
deleted
inserted
replaced
128 return self._refmap[mark] |
128 return self._refmap[mark] |
129 |
129 |
130 def get(self, mark, default=None): |
130 def get(self, mark, default=None): |
131 return self._refmap.get(mark, default) |
131 return self._refmap.get(mark, default) |
132 |
132 |
133 def _set(self, key, value): |
133 def _set(self, mark, node): |
134 self._clean = False |
134 self._clean = False |
135 self._refmap[key] = value |
135 self._refmap[mark] = node |
136 |
136 |
137 def _del(self, key): |
137 def _del(self, mark): |
138 self._clean = False |
138 self._clean = False |
139 del self._refmap[key] |
139 del self._refmap[mark] |
140 |
140 |
141 def names(self, node): |
141 def names(self, node): |
142 """Return a sorted list of bookmarks pointing to the specified node""" |
142 """Return a sorted list of bookmarks pointing to the specified node""" |
143 marks = [] |
143 marks = [] |
144 for m, n in self._refmap.iteritems(): |
144 for m, n in self._refmap.iteritems(): |