CATEGORY: bug
TITLE: marking does not work properly in advanced marking mode
PRIO: 1
STATUS: completed
FILES: mouse.e
UPDATED: $Id$