| Mon, 31 Mar 2014 18:28:35 +0200 | wenzelm | reset mouse pointer more decisively, for the sake of Mac OS X (despite the builtin policie of jEdit); | changeset | files |
| Mon, 31 Mar 2014 17:41:45 +0200 | wenzelm | proper structural hashCode, which is required for Command.File equals (NB: Array has physical object identity); | changeset | files |
| Mon, 31 Mar 2014 15:34:37 +0200 | wenzelm | tuned output; | changeset | files |
| Mon, 31 Mar 2014 15:28:14 +0200 | wenzelm | tuned signature -- more static typing; | changeset | files |
| Mon, 31 Mar 2014 15:05:24 +0200 | wenzelm | store blob content within document node: aux. files that were once open are made persistent; | changeset | files |
| Mon, 31 Mar 2014 12:35:39 +0200 | wenzelm | some shortcuts for chunks, which sometimes avoid bulky string output; | changeset | files |