isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Wed, 28 Aug 2013 16:36:46 +0200 uniform use of isabelle.jEdit.Popup, based on generic screen location operations;

changeset

wenzelm [Wed, 28 Aug 2013 16:36:46 +0200] rev 53247

uniform use of isabelle.jEdit.Popup, based on generic screen location operations;

Wed, 28 Aug 2013 15:14:58 +0200 more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);

changeset

wenzelm [Wed, 28 Aug 2013 15:14:58 +0200] rev 53246

more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X); observe !evt.isConsumed semantically: no initial dismiss here (e.g. due to cursor keys);

Wed, 28 Aug 2013 10:35:12 +0200 tuned;

changeset

wenzelm [Wed, 28 Aug 2013 10:35:12 +0200] rev 53245

tuned;

Wed, 28 Aug 2013 09:36:05 +0200 dismiss popups more uniformly;

changeset

wenzelm [Wed, 28 Aug 2013 09:36:05 +0200] rev 53244

dismiss popups more uniformly;

Wed, 28 Aug 2013 09:12:50 +0200 more uniform check (see JEdit_Lib.propagate_key);

changeset

wenzelm [Wed, 28 Aug 2013 09:12:50 +0200] rev 53243

more uniform check (see JEdit_Lib.propagate_key);