Wed, 28 Aug 2013 16:36:46 +0200 | wenzelm | uniform use of isabelle.jEdit.Popup, based on generic screen location operations; | file | diff | annotate |
Wed, 28 Aug 2013 15:14:58 +0200 | wenzelm | more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X); | file | diff | annotate |