| 2014-05-06 | wenzelm | common support for search field, which is actually a light-weight Highlighter; | changeset | files |
| 2014-05-06 | wenzelm | clarified GUI focus; | changeset | files |
| 2014-05-06 | wenzelm | more uniform detach button; | changeset | files |
| 2014-05-06 | wenzelm | tuned signature; | changeset | files |
| Loading... | |||