| Fri, 22 May 2015 15:13:49 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 22 May 2015 15:10:35 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 May 2015 14:03:17 +0200 | wenzelm | updated versions; | changeset | files |
| Thu, 21 May 2015 11:55:57 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 May 2015 00:24:02 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 20 May 2015 22:22:27 +0200 | wenzelm | cell-specific row height based on its font, e.g. relevant for DPI scaling on Windows; | changeset | files |
| Tue, 19 May 2015 18:34:16 +0200 | wenzelm | more on displays with very high resolution; | changeset | files |