1 /* Title: Pure/GUI/jfx_gui.scala
2 Module: PIDE-JFX
3 Author: Makarius
2 Author: Makarius
4
3
5 Basic GUI tools (for Java FX).
4 Basic GUI tools (for Java FX).
6 */
5 */
7
6