Tue, 05 Aug 2014 11:06:36 +0200 | wenzelm | refined context visibility again (amending f5f9fad3321c, 8e3e004f1c31): avoid spurious warning due to global config options; | changeset | files |
Mon, 04 Aug 2014 19:47:25 +0200 | wenzelm | even more thorough reset on mouse drag (see also 0c63f3538639, 7e8c11011fdf); | changeset | files |
Mon, 04 Aug 2014 17:55:11 +0200 | wenzelm | tuned; | changeset | files |