| Tue, 27 Aug 2013 15:35:51 +0200 | wenzelm | explicit "hidden" operation with focus management; | changeset | files |
| Tue, 27 Aug 2013 14:56:11 +0200 | wenzelm | some key event handling in the manner of SideKickBindings, SideKickCompletionPopup; | changeset | files |
| Tue, 27 Aug 2013 13:07:31 +0200 | wenzelm | more standard key handling according to jEdit (with workaround); | changeset | files |