2007/07/12:
sometimes searching seems to save the wrong cursor position, or not overwrite
the previously used one.

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.