| 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 |