(self, alo, ahi, blo, bhi)
| 367 | self.highlighter.write('\n') |
| 368 | |
| 369 | def replace_dissimilar(self, alo, ahi, blo, bhi): |
| 370 | assert alo < ahi and blo < bhi |
| 371 | if bhi - blo < ahi - alo: |
| 372 | self.insert(alo, alo, blo, bhi) |
| 373 | self.delete(alo, ahi, bhi, bhi) |
| 374 | else: |
| 375 | self.delete(alo, ahi, blo, blo) |
| 376 | self.insert(ahi, ahi, blo, bhi) |
| 377 | |
| 378 | def replace_value(self, a, b): |
| 379 | if b == a: |