| Thu, 16 Jun 2011 23:35:37 +0200 | wenzelm | more precise imitation of original TextAreaPainter: no locking; | changeset | files |
| Thu, 16 Jun 2011 23:16:06 +0200 | wenzelm | more precise imitatation of original TokenMarker: no locking, interned context etc.; | changeset | files |
| Thu, 16 Jun 2011 22:15:35 +0200 | wenzelm | brute-force range restriction to avoid spurious crashes; | changeset | files |
| Thu, 16 Jun 2011 22:05:40 +0200 | wenzelm | static token markup, based on outer syntax only; | changeset | files |