2006/07/04:
undo/redo should probably show you what is being undone (i.e. by jumping to that
region of code).

2006/07/04:
undo/redo is mostly fixed, but there are still occasionally problems, which seem
to relate to pasting in multiple lines and cursor positioning.