| Tue, 06 May 2014 16:16:38 +0200 | wenzelm | more visual feedback on path_completion, at the risk of file-system access in GUI painting; | changeset | files |
| Tue, 06 May 2014 16:08:07 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 06 May 2014 16:05:14 +0200 | wenzelm | explicit option parallel_print to downgrade parallel scheduling, which might occasionally help for big and heavy "scripts"; | changeset | files |
| 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 |