proper name;

more Isabelle fonts, notably for File Browser title in GTK L&F;

tuned -- more direct java.util.Map.of;

more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F;

more Isabelle fonts;

use Isabelle fonts for all GUI look-and-feels;

tuned;

clarified signature: fonts are not dependent on GUI;

more explicit Isabelle_Fonts.Entry;
more robust font embedding into PDF and HTML;

prefer Isabelle_Fonts.sans (not mono) as derived GUI font;

clarified signature;

clarified modules;

use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;

unused -- avoid illegal access in Java 11;

tuned imports;

tuned;

tuned;

handle font-size events;

tuned;

tuned -- according to ML version;

clarified font: GUI defaults might change dynamically;

back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;

no icons here -- not a standalone window;

more scalable GUI;

less ambitious collection of quasi-generic PIDE modules;

more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;

GUI.imitate_font: more explicit result size, e.g. relevant for caching;
some graphview font options: Helvetica family is important for self-contained PDF;
tuned;

tuned signature;

added system property isabelle.laf, notably for initial system dialog;
let L&F take care of font scaling, e.g. GTK+ for Linux where X11 dpi scaling does not really work;

imitate font more carefully: err on smaller size;
imitate HTML font, notably for Sidekick where short string is also shown as view status message;

added Untyped.method convenience (for *this* class only);

separate Java FX modules -- no need to include jfxrt.jar by default;

--HG--
rename : src/Pure/GUI/jfx_thread.scala => src/Pure/GUI/jfx_gui.scala

proper layered_pane for JDialog, e.g. relevant for floating dockables in jEdit, for completion popup in text field;

tuned;

clarified module name: facilitate alternative GUI frameworks;

--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala

more uniform Font_Info.Zoom_Box;
misc tuning and clarification;

tuned GUI for Windows L&F;

tuned GUI layout;

uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice;

clarified tooltip_lines: HTML.encode already takes care of newline (but not space);

more robust;

access X11 window manager;

alternative hires icon;

uniform use of transparent icons, as for main "apps";

more isabelle logos (from isabelle.ico);

--HG--
rename : lib/logo/isabelle-icon.gif => lib/logo/isabelle-32.gif

prefer 32x32 icon like jedit (image from isabelle.ico);

less tiny font for search criteria;

more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);

simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;

proper platform-specific test;

disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly;

tuned;

tuned signature;

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