Tue, 02 Dec 2014 17:30:53 +0100 | wenzelm | added Untyped.method convenience (for *this* class only); | changeset | files |
Tue, 02 Dec 2014 16:40:11 +0100 | wenzelm | tuned signature -- more explicit types; | changeset | files |
Tue, 02 Dec 2014 16:10:11 +0100 | wenzelm | more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged; | changeset | files |