Sat, 29 Jun 2013 18:20:09 +0200 tuned signature;
wenzelm [Sat, 29 Jun 2013 18:20:09 +0200] rev 52480
tuned signature;
Sat, 29 Jun 2013 17:39:27 +0200 more aggresive ESCAPE handling, while retaining its regular meaning for jEdit;
wenzelm [Sat, 29 Jun 2013 17:39:27 +0200] rev 52479
more aggresive ESCAPE handling, while retaining its regular meaning for jEdit;
Sat, 29 Jun 2013 16:53:19 +0200 manage popup windows via PopupFactory, which prefers light-weight JComponent, but might fall back on JWindow (despite JPanel of 0f88591478e6);
wenzelm [Sat, 29 Jun 2013 16:53:19 +0200] rev 52478
manage popup windows via PopupFactory, which prefers light-weight JComponent, but might fall back on JWindow (despite JPanel of 0f88591478e6); more explicit tooltip hierarchy: manage exactly the visible stack -- caching is part of PopupFactory; auxiliary geometry measurement via single hidden window; tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip