CATEGORY: bug
TITLE: Restore marked area after undo
PRIO: 4
STATUS: open
FILES:
UPDATED: $Id$

Undo doesn't restore the marked area as it was marked in the previous state