| Tue, 27 Aug 2013 20:45:02 +0200 | wenzelm | some actual completion via outer syntax; | changeset | files |
| Tue, 27 Aug 2013 17:17:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 27 Aug 2013 16:45:32 +0200 | wenzelm | avoid complication and event duplication due to KeyEventInterceptor -- NB: popup has focus within root window, it is closed on loss of focus; | changeset | files |