[isabelle-dev] Popups in Java/Swing

Makarius makarius at sketis.net
Fri Aug 30 14:13:32 CEST 2013

This is a side-track of the completion (and tooltip renovation) story.

After many years of struggling with various possibilities for popup 
windows in Java/Swing and their many portability problems (evil window 
managers etc.), I have recently tried the official 

This is a short description as javadoc on the surface, but there are big 
and complex sources behind it:

It seems to workaround various Swing design problems, with lots of 
explicit runtime matching of object types.  Thus it works a bit better 
than plain JWindow, but Apple/Oracle managed to bomb that approach 
nonetheless (bad focus, no copy-paste).

The result of studying the sources of javax.swing.PopupFactory to produce 
my own version is now this: 

It is hard to tell if this is a joke or if it is funny.  The main lesson 
learned concerning Java/Swing:

   * The smoking chimneys of javax.swing.PopupFactory won't do any good.

   * Plain javax.swing.JLayeredPane does all the work.

Lets see if this is really the case -- in everyday use of the new 
completion mechanism (and tooltips) on all these exotic platforms.


More information about the isabelle-dev mailing list