| Sun, 29 Aug 2010 15:57:18 +0200 | wenzelm | Document_Model.token_marker: misc tuning and simplification; | changeset | files |
| Sun, 29 Aug 2010 15:09:11 +0200 | wenzelm | added Document.Snapshot.select_markup, which includes command iteration, range conversion etc.; | changeset | files |
| Sat, 28 Aug 2010 22:58:24 +0200 | wenzelm | XML.Cache: intern property keys once and for all (again); | changeset | files |
| Sat, 28 Aug 2010 20:24:41 +0200 | wenzelm | more careful locking of jEdit buffer; | changeset | files |