| Wed, 28 Aug 2013 19:12:15 +0200 | wenzelm | tuned signature -- no need for ooddities; | changeset | files |
| Wed, 28 Aug 2013 19:08:11 +0200 | wenzelm | tuned -- help finding rare NPE on cold start; | changeset | files |
| 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 |
| Wed, 28 Aug 2013 10:35:12 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 28 Aug 2013 09:36:05 +0200 | wenzelm | dismiss popups more uniformly; | changeset | files |
| Wed, 28 Aug 2013 09:12:50 +0200 | wenzelm | more uniform check (see JEdit_Lib.propagate_key); | changeset | files |