that last commit also contained a fix for a problem with Location state management. Changing a location (marker/range) and later undoing some operation would cause the location to return to the wrong state. This has been fixed, although I noticed that moving a marker is not an undoable operation. --p