equal
deleted
inserted
replaced
76 count -= len(s) |
76 count -= len(s) |
77 if count != 0: |
77 if count != 0: |
78 doff = self.offset - self.size |
78 doff = self.offset - self.size |
79 self.data.insert(0, "".join(self.data)) |
79 self.data.insert(0, "".join(self.data)) |
80 del self.data[1:] |
80 del self.data[1:] |
81 s = self.data[0][doff:doff+count] |
81 s = self.data[0][doff:doff + count] |
82 self.offset += len(s) |
82 self.offset += len(s) |
83 ret += s |
83 ret += s |
84 return ret |
84 return ret |
85 |
85 |
86 def write(self, s): |
86 def write(self, s): |