src/Pure/GUI/gui.scala
12 months ago wenzelm 2018-11-30 use Isabelle fonts for all GUI look-and-feels;
12 months ago wenzelm 2018-11-30 tuned;
12 months ago wenzelm 2018-11-28 clarified signature: fonts are not dependent on GUI;
12 months ago wenzelm 2018-11-28 more explicit Isabelle_Fonts.Entry; more robust font embedding into PDF and HTML;
12 months ago wenzelm 2018-11-28 prefer Isabelle_Fonts.sans (not mono) as derived GUI font;
12 months ago wenzelm 2018-11-28 clarified signature;
12 months ago wenzelm 2018-11-28 clarified modules;
12 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
14 months ago wenzelm 2018-10-03 unused -- avoid illegal access in Java 11;
21 months ago wenzelm 2018-03-12 tuned imports;
2017-04-04 wenzelm 2017-04-04 tuned;
2017-03-02 wenzelm 2017-03-02 tuned;
2016-09-14 wenzelm 2016-09-14 handle font-size events;
2016-07-07 wenzelm 2016-07-07 tuned;
2016-01-09 wenzelm 2016-01-09 tuned -- according to ML version;
2015-11-23 wenzelm 2015-11-23 clarified font: GUI defaults might change dynamically;
2015-10-31 wenzelm 2015-10-31 back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
2015-10-27 wenzelm 2015-10-27 no icons here -- not a standalone window;
2015-08-21 wenzelm 2015-08-21 more scalable GUI;
2015-04-12 wenzelm 2015-04-12 less ambitious collection of quasi-generic PIDE modules;
2015-03-10 wenzelm 2015-03-10 more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
2015-01-05 wenzelm 2015-01-05 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;
2015-01-01 wenzelm 2015-01-01 tuned signature;
2014-12-30 wenzelm 2014-12-30 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;
2014-12-23 wenzelm 2014-12-23 imitate font more carefully: err on smaller size; imitate HTML font, notably for Sidekick where short string is also shown as view status message;
2014-12-02 wenzelm 2014-12-02 added Untyped.method convenience (for *this* class only);
2014-08-12 wenzelm 2014-08-12 separate Java FX modules -- no need to include jfxrt.jar by default;
2014-08-10 wenzelm 2014-08-10 proper layered_pane for JDialog, e.g. relevant for floating dockables in jEdit, for completion popup in text field;
2014-07-24 wenzelm 2014-07-24 tuned;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-21 wenzelm 2014-05-21 more uniform Font_Info.Zoom_Box; misc tuning and clarification;
2014-05-06 wenzelm 2014-05-06 tuned GUI for Windows L&F;
2014-05-06 wenzelm 2014-05-06 tuned GUI layout;
2014-04-26 wenzelm 2014-04-26 uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice;
2014-04-19 wenzelm 2014-04-19 clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
2014-01-10 wenzelm 2014-01-10 more robust;
2014-01-09 wenzelm 2014-01-09 access X11 window manager;
2013-12-09 wenzelm 2013-12-09 alternative hires icon;
2013-12-05 wenzelm 2013-12-05 uniform use of transparent icons, as for main "apps";
2013-12-01 wenzelm 2013-12-01 more isabelle logos (from isabelle.ico);
2013-11-30 wenzelm 2013-11-30 prefer 32x32 icon like jedit (image from isabelle.ico);
2013-11-06 wenzelm 2013-11-06 less tiny font for search criteria;
2013-09-24 wenzelm 2013-09-24 more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
2013-09-24 wenzelm 2013-09-24 simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;
2013-09-24 wenzelm 2013-09-24 proper platform-specific test;
2013-09-24 wenzelm 2013-09-24 disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly;
2013-09-22 wenzelm 2013-09-22 tuned;
2013-09-22 wenzelm 2013-09-22 tuned signature;
2013-09-22 wenzelm 2013-09-22 clarified location of GUI modules (which depend on Swing of JFX);