Thu, 22 Nov 2012 14:53:02 +0100 | wenzelm | reset active area for outdated snapshot (again?); | changeset | files |
Thu, 22 Nov 2012 14:40:39 +0100 | wenzelm | some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id; | changeset | files |