src/Pure/GUI/popup.scala
Tue, 15 Apr 2014 12:45:16 +0200 wenzelm avoid conflict of Isabelle/jEdit popups with jEdit context menu;
Tue, 24 Sep 2013 20:41:28 +0200 wenzelm more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX);
less more (0) tip