| Fri, 09 May 2014 22:56:06 +0200 | wenzelm | merged | changeset | files |
| Fri, 09 May 2014 22:14:06 +0200 | wenzelm | more markup; | changeset | files |
| Fri, 09 May 2014 22:04:50 +0200 | wenzelm | more position markup to help locating the query context, e.g. from "Info" dockable; | changeset | files |
| Fri, 09 May 2014 21:03:44 +0200 | wenzelm | always bounce focus back to main text area, unless explicit focus component is given here (see also 7b65f4da136d); | changeset | files |