Tue, 10 Nov 2015 23:21:02 +0100 | wenzelm | added @{command}, @{method}, @{attribute}; | changeset | files |
Tue, 10 Nov 2015 22:27:48 +0100 | wenzelm | smart quoting of non-identifiers, e.g. jEdit actions; | changeset | files |
Tue, 10 Nov 2015 22:20:46 +0100 | wenzelm | more thorough check_action, including completion; | changeset | files |