| Tue, 06 May 2014 15:54:22 +0200 | wenzelm | tuned GUI layout; | changeset | files |
| Tue, 06 May 2014 11:16:13 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 05 May 2014 22:14:56 +0200 | wenzelm | some complication with ListView.Renderer to get tooltips; | changeset | files |
| Mon, 05 May 2014 20:10:33 +0200 | wenzelm | expose interrupts more like ML version, but not in managed bash processes of Build; | changeset | files |