utils.py
branchstable
changeset 6374 5adf53edfe12
parent 6176 33ba2c1dbf10
child 6376 f8662240ed4d
child 6406 39663630ca3c
--- a/utils.py	Fri Oct 01 09:25:39 2010 +0200
+++ b/utils.py	Fri Oct 01 11:08:31 2010 +0200
@@ -131,6 +131,9 @@
         return repeat(self._item, self._size)
     def __getitem__(self, index):
         return self._item
+    def __delitem__(self, idc):
+        assert self._size > 0
+        self._size -= 1
     def __getslice__(self, i, j):
         # XXX could be more efficient, but do we bother?
         return ([self._item] * self._size)[i:j]