[isabelle-dev] Popups in Java/Swing
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