id Resolution Summary Owner Reporter 11 fixed Make tools configurable Andreas Schnellbacher Andreas Schnellbacher 12 fixed Rework Find and Case commands: mark/token/word Andreas Schnellbacher Andreas Schnellbacher 14 fixed Several mode improvements Andreas Schnellbacher Andreas Schnellbacher