Thu, 09 Jan 2020 15:45:31 +0100 |
wenzelm |
more Isabelle fonts, notably for File Browser title in GTK L&F;
|
file |
diff |
annotate
|
Thu, 09 Jan 2020 13:39:33 +0100 |
wenzelm |
tuned -- more direct java.util.Map.of;
|
file |
diff |
annotate
|
Sat, 01 Dec 2018 16:57:46 +0100 |
wenzelm |
more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F;
|
file |
diff |
annotate
|
Fri, 30 Nov 2018 15:02:31 +0100 |
wenzelm |
more Isabelle fonts;
|
file |
diff |
annotate
|
Fri, 30 Nov 2018 14:46:00 +0100 |
wenzelm |
use Isabelle fonts for all GUI look-and-feels;
|
file |
diff |
annotate
|
Fri, 30 Nov 2018 14:21:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 16:27:21 +0100 |
wenzelm |
clarified signature: fonts are not dependent on GUI;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 14:00:22 +0100 |
wenzelm |
more explicit Isabelle_Fonts.Entry;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 12:05:50 +0100 |
wenzelm |
prefer Isabelle_Fonts.sans (not mono) as derived GUI font;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 11:43:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 24 Nov 2018 18:56:44 +0100 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
Wed, 03 Oct 2018 12:28:09 +0200 |
wenzelm |
unused -- avoid illegal access in Java 11;
|
file |
diff |
annotate
|
Mon, 12 Mar 2018 11:17:59 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Tue, 04 Apr 2017 18:43:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 02 Mar 2017 15:56:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 14 Sep 2016 20:47:17 +0200 |
wenzelm |
handle font-size events;
|
file |
diff |
annotate
|
Thu, 07 Jul 2016 12:02:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 09 Jan 2016 22:00:22 +0100 |
wenzelm |
tuned -- according to ML version;
|
file |
diff |
annotate
|
Mon, 23 Nov 2015 19:51:33 +0100 |
wenzelm |
clarified font: GUI defaults might change dynamically;
|
file |
diff |
annotate
|
Sat, 31 Oct 2015 14:38:48 +0100 |
wenzelm |
back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
|
file |
diff |
annotate
|
Tue, 27 Oct 2015 23:18:32 +0100 |
wenzelm |
no icons here -- not a standalone window;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 18:46:12 +0200 |
wenzelm |
more scalable GUI;
|
file |
diff |
annotate
|
Sun, 12 Apr 2015 13:10:04 +0200 |
wenzelm |
less ambitious collection of quasi-generic PIDE modules;
|
file |
diff |
annotate
|
Tue, 10 Mar 2015 20:12:30 +0100 |
wenzelm |
more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 14:13:38 +0100 |
wenzelm |
GUI.imitate_font: more explicit result size, e.g. relevant for caching;
|
file |
diff |
annotate
|
Thu, 01 Jan 2015 17:27:52 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 30 Dec 2014 11:50:34 +0100 |
wenzelm |
added system property isabelle.laf, notably for initial system dialog;
|
file |
diff |
annotate
|
Tue, 23 Dec 2014 16:00:38 +0100 |
wenzelm |
imitate font more carefully: err on smaller size;
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|