(self, a, b)
| 376 | self.insert(ahi, ahi, blo, bhi) |
| 377 | |
| 378 | def replace_value(self, a, b): |
| 379 | if b == a: |
| 380 | self.highlighter.write(self.dumper.visit(b)) |
| 381 | else: |
| 382 | self.highlighter.strike() |
| 383 | self.highlighter.color(self.delete_color) |
| 384 | self.highlighter.write(self.dumper.visit(a)) |
| 385 | self.highlighter.normal() |
| 386 | self.highlighter.write(" -> ") |
| 387 | self.highlighter.color(self.insert_color) |
| 388 | self.highlighter.write(self.dumper.visit(b)) |
| 389 | self.highlighter.normal() |
| 390 | |
| 391 | escape = "\33[" |
| 392 |