| Tue, 06 May 2014 17:16:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 06 May 2014 16:57:17 +0200 | wenzelm | renamed "Find" to "Query", with more general operations; | changeset | files |
| Tue, 06 May 2014 16:41:24 +0200 | wenzelm | hardwired default_frequency to avoid fluctuation of popup content; | changeset | files |
| 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 |