| Wed, 04 Feb 2009 01:38:48 +0100 | immler | removed redundant code | changeset | files |
| Fri, 20 Mar 2009 21:31:57 +0100 | wenzelm | added ML syntax markup; | changeset | files |
| Fri, 20 Mar 2009 21:31:45 +0100 | wenzelm | recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); | changeset | files |
| Fri, 20 Mar 2009 21:05:26 +0100 | wenzelm | more robust copying of jars; | changeset | files |
| Mon, 02 Feb 2009 23:08:44 +0100 | immler | referred to old version of TokenMarker | changeset | files |
| Mon, 02 Feb 2009 23:05:25 +0100 | immler | implemented markTokens; | changeset | files |
| Sun, 01 Feb 2009 13:57:59 +0100 | immler | more flexible commands-iterators | changeset | files |
| Sun, 01 Feb 2009 13:38:51 +0100 | immler | use FontMetrics.getMaxAdvance if available; tuned | changeset | files |