| 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 |
| Fri, 09 May 2014 21:02:15 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 09 May 2014 08:13:37 +0200 | haftmann | delete attribute for code abbrev | changeset | files |