Tue, 27 Aug 2013 14:56:11 +0200 | wenzelm | some key event handling in the manner of SideKickBindings, SideKickCompletionPopup; | file | diff | annotate |
Tue, 27 Aug 2013 12:35:32 +0200 | wenzelm | more systematic JEdit_Lib.key_listener with optional KeyEventWorkaround; | file | diff | annotate |
Tue, 13 Aug 2013 22:25:24 +0200 | wenzelm | Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java); | file | diff | annotate |