| Sat, 23 Nov 2013 12:59:12 +0100 | wenzelm | more on GTK; | changeset | files |
| Fri, 22 Nov 2013 21:57:50 +0100 | wenzelm | reintroduced e2d08b9c9047, lost in 54e290da6da8 + e13b0c88c798 (clone of f6ffe53387ef); | changeset | files |
| Thu, 21 Nov 2013 22:13:11 +0100 | wenzelm | NEWS; | changeset | files |
| Thu, 21 Nov 2013 21:55:29 +0100 | wenzelm | back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command; | changeset | files |