Tue, 15 Sep 2009 18:14:28 +0200 | wenzelm | keep BufferListener and TextAreaExtension private; | changeset | files |
Tue, 15 Sep 2009 18:13:30 +0200 | wenzelm | tuned white space; | changeset | files |
Tue, 15 Sep 2009 17:00:21 +0200 | wenzelm | misc tuning; | changeset | files |