| Tue, 06 May 2014 21:29:17 +0200 | wenzelm | common support for search field, which is actually a light-weight Highlighter; | changeset | files |
| Tue, 06 May 2014 17:47:03 +0200 | wenzelm | clarified GUI focus; | changeset | files |
| Tue, 06 May 2014 17:28:58 +0200 | wenzelm | more uniform detach button; | changeset | files |
| 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 |