clarified location of GUI modules (which depend on Swing of JFX); --HG-- rename : src/Pure/System/color_value.scala => src/Pure/GUI/color_value.scala rename : src/Pure/System/gui.scala => src/Pure/GUI/gui.scala rename : src/Pure/System/gui_setup.scala => src/Pure/GUI/gui_setup.scala rename : src/Pure/System/html5_panel.scala => src/Pure/GUI/html5_panel.scala rename : src/Pure/System/jfx_thread.scala => src/Pure/GUI/jfx_thread.scala rename : src/Tools/jEdit/src/popup.scala => src/Pure/GUI/popup.scala rename : src/Pure/System/swing_thread.scala => src/Pure/GUI/swing_thread.scala rename : src/Pure/System/system_dialog.scala => src/Pure/GUI/system_dialog.scala rename : src/Pure/System/wrap_panel.scala => src/Pure/GUI/wrap_panel.scala
|