src/Tools/jEdit/src/completion_popup.scala
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);
less more (0) tip