| Tue, 15 Apr 2014 21:13:20 +0200 | wenzelm | more context-sensitivity; | changeset | files |
| Tue, 15 Apr 2014 20:24:49 +0200 | wenzelm | tuned spelling; | changeset | files |
| Tue, 15 Apr 2014 19:51:55 +0200 | wenzelm | back to unrestricted before_caret_range, which is important for quick editing at the end of line (amending 83777a91f5de); | changeset | files |