| Sat, 19 Sep 2015 20:31:57 +0200 | wenzelm | allow to cancel running event; | file | diff | annotate |
| Wed, 23 Jul 2014 11:22:56 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Wed, 23 Jul 2014 11:19:24 +0200 | wenzelm | clarified module name: facilitate alternative GUI frameworks; | file | diff | annotate | base |