CATEGORY: feature
TITLE: Edit mode: Auto-highlighting
PRIO: 1
STATUS: completed
FILES: load.e
UPDATED: $Id$