| Mon, 06 Mar 2017 16:47:52 +0100 | wenzelm | more general tooltips, with uniform info range handling; | changeset | files |
| Mon, 06 Mar 2017 11:48:06 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 06 Mar 2017 11:46:14 +0100 | wenzelm | more generic colors; | changeset | files |
| Mon, 06 Mar 2017 11:45:46 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 06 Mar 2017 11:39:41 +0100 | wenzelm | proper color; | changeset | files |
| Mon, 06 Mar 2017 11:38:06 +0100 | wenzelm | more generic colors; | changeset | files |
| Sun, 05 Mar 2017 22:38:19 +0100 | wenzelm | more ambitious timing, to compensate general protocol delays; | changeset | files |