| Tue, 27 Aug 2013 23:21:12 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 27 Aug 2013 22:40:39 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 27 Aug 2013 22:23:40 +0200 | wenzelm | enable jEdit KeyEventWorkaround uniformly; | changeset | files |
| Tue, 27 Aug 2013 22:20:11 +0200 | wenzelm | de-register completion first, which is important to make new popup reliably; | changeset | files |
| Tue, 27 Aug 2013 22:00:35 +0200 | wenzelm | register single instance within root, in order to get rid of old popup as user continues typing; | changeset | files |
| Tue, 27 Aug 2013 20:58:53 +0200 | wenzelm | more careful refocus operation: do not reset focus if it was already lost (relevant when activating a different GUI component, for example); | changeset | files |
| 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 |