| 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 |
| Tue, 12 Aug 2014 12:06:22 +0200 | wenzelm | separate Java FX modules -- no need to include jfxrt.jar by default; | file | diff | annotate |
| Sun, 10 Aug 2014 13:59:08 +0200 | wenzelm | proper layered_pane for JDialog, e.g. relevant for floating dockables in jEdit, for completion popup in text field; | file | diff | annotate |