Wed, 28 Aug 2013 17:20:16 +0200 | wenzelm | tuned proofs; | changeset | files |
Wed, 28 Aug 2013 16:36:46 +0200 | wenzelm | uniform use of isabelle.jEdit.Popup, based on generic screen location operations; | changeset | files |
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); | changeset | files |