##// END OF EJS Templates
util: fix sorteddict.pop...
Pierre-Yves David -
r22643:3b1c0e1e default
parent child Browse files
Show More
@@ -252,6 +252,12 b' class sortdict(dict):'
252 def __delitem__(self, key):
252 def __delitem__(self, key):
253 dict.__delitem__(self, key)
253 dict.__delitem__(self, key)
254 self._list.remove(key)
254 self._list.remove(key)
255 def pop(self, key, *args, **kwargs):
256 dict.pop(self, key, *args, **kwargs)
257 try:
258 self._list.remove(key)
259 except ValueError:
260 pass
255 def keys(self):
261 def keys(self):
256 return self._list
262 return self._list
257 def iterkeys(self):
263 def iterkeys(self):
General Comments 0
You need to be logged in to leave comments. Login now