Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/GUI/gui.scala
Thu, 07 Nov 2024 12:08:32 +0100 wenzelm clarified signature; file | diff | annotate
Mon, 04 Nov 2024 12:22:24 +0100 wenzelm clarified signature; file | diff | annotate
Mon, 04 Nov 2024 11:21:04 +0100 wenzelm tuned GUI (again, see 0521e65af41e); file | diff | annotate
Sun, 03 Nov 2024 19:38:30 +0100 wenzelm clarified signature: more explicit types; file | diff | annotate
Sun, 03 Nov 2024 14:11:01 +0100 wenzelm tuned GUI; file | diff | annotate
Sat, 02 Nov 2024 20:24:53 +0100 wenzelm clarified signature; file | diff | annotate
Sat, 02 Nov 2024 20:14:44 +0100 wenzelm clarified signature; file | diff | annotate
Fri, 06 Sep 2024 15:59:48 +0200 wenzelm clarified signature; file | diff | annotate
Thu, 11 Jul 2024 13:33:58 +0200 wenzelm tuned; file | diff | annotate
Tue, 27 Dec 2022 12:00:37 +0100 wenzelm tuned; file | diff | annotate
Thu, 10 Nov 2022 12:25:28 +0100 wenzelm tuned signature; file | diff | annotate
Thu, 10 Nov 2022 12:21:44 +0100 wenzelm clarified signature: ensure that entries are well-formed --- no consecutive separators, no separators at start/end; file | diff | annotate
Thu, 10 Nov 2022 11:20:37 +0100 wenzelm clarified signature: only support nameless separator; file | diff | annotate
Thu, 10 Nov 2022 11:17:26 +0100 wenzelm tuned signature; file | diff | annotate
Wed, 09 Nov 2022 21:14:20 +0100 wenzelm more robust selection: avoid duplicates via "batch" number; file | diff | annotate
Wed, 09 Nov 2022 19:42:21 +0100 wenzelm clarified GUI.Selector, with support for separator as pseudo-entry; file | diff | annotate
Sat, 13 Aug 2022 23:08:07 +0200 wenzelm tuned signature; file | diff | annotate
Sat, 13 Aug 2022 23:04:53 +0200 wenzelm clarified signature; file | diff | annotate
Sat, 13 Aug 2022 22:41:45 +0200 wenzelm clarified signature; file | diff | annotate
Sat, 13 Aug 2022 12:32:38 +0200 wenzelm clarified signature: more explicit types; file | diff | annotate
Fri, 12 Aug 2022 11:35:44 +0200 wenzelm tuned signature; file | diff | annotate
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3; file | diff | annotate
Wed, 30 Jun 2021 22:14:27 +0200 wenzelm tuned imports; file | diff | annotate
Fri, 25 Jun 2021 21:33:21 +0200 wenzelm avoid deprecated operation; file | diff | annotate
Thu, 04 Mar 2021 21:04:27 +0100 wenzelm clarified signature --- fewer warnings; file | diff | annotate
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings; file | diff | annotate
Mon, 01 Mar 2021 19:41:52 +0100 wenzelm tuned --- fewer warnings; file | diff | annotate
Sat, 09 Jan 2021 20:17:56 +0100 wenzelm clarified list of presented look-and-feels; file | diff | annotate
Sat, 09 Jan 2021 19:49:22 +0100 wenzelm clarified default L&F of Isabelle/Scala (not Isabelle/jEdit); file | diff | annotate
Fri, 08 Jan 2021 23:59:28 +0100 wenzelm support for additional look-and-feels; file | diff | annotate
Thu, 07 Jan 2021 13:28:13 +0100 wenzelm clarified dock icon: setup earlier on startup; file | diff | annotate
Tue, 05 Jan 2021 22:05:18 +0100 wenzelm more robust; file | diff | annotate
Tue, 05 Jan 2021 21:58:00 +0100 wenzelm prefer official Java 9 operations; file | diff | annotate
Tue, 05 Jan 2021 21:46:35 +0100 wenzelm proper dock icon for macOS; file | diff | annotate
Sun, 03 Jan 2021 23:01:16 +0100 wenzelm some attempts at multi-platform full-screen mode; file | diff | annotate
Sun, 03 Jan 2021 22:06:19 +0100 wenzelm more operations; file | diff | annotate
Mon, 21 Dec 2020 22:03:39 +0100 wenzelm tuned signature; file | diff | annotate
Mon, 21 Dec 2020 21:56:20 +0100 wenzelm clarified modules; file | diff | annotate
Sun, 29 Nov 2020 23:23:32 +0100 wenzelm more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F; file | diff | annotate
Thu, 09 Jan 2020 16:01:31 +0100 wenzelm proper name; file | diff | annotate
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
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
Thu, 24 Jul 2014 11:46:40 +0200 wenzelm tuned; file | diff | annotate
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks; file | diff | annotate
Wed, 21 May 2014 16:21:11 +0200 wenzelm more uniform Font_Info.Zoom_Box; file | diff | annotate
Tue, 06 May 2014 23:35:24 +0200 wenzelm tuned GUI for Windows L&F; file | diff | annotate
Tue, 06 May 2014 15:54:22 +0200 wenzelm tuned GUI layout; file | diff | annotate
Sat, 26 Apr 2014 15:33:13 +0200 wenzelm uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice; file | diff | annotate
Sat, 19 Apr 2014 19:03:32 +0200 wenzelm clarified tooltip_lines: HTML.encode already takes care of newline (but not space); file | diff | annotate
Fri, 10 Jan 2014 12:29:25 +0100 wenzelm more robust; file | diff | annotate
Thu, 09 Jan 2014 20:17:15 +0100 wenzelm access X11 window manager; file | diff | annotate
Mon, 09 Dec 2013 22:02:42 +0100 wenzelm alternative hires icon; file | diff | annotate
Thu, 05 Dec 2013 19:59:43 +0100 wenzelm uniform use of transparent icons, as for main "apps"; file | diff | annotate
Sun, 01 Dec 2013 13:03:15 +0100 wenzelm more isabelle logos (from isabelle.ico); file | diff | annotate
Sat, 30 Nov 2013 22:56:20 +0100 wenzelm prefer 32x32 icon like jedit (image from isabelle.ico); file | diff | annotate
Wed, 06 Nov 2013 18:15:25 +0100 wenzelm less tiny font for search criteria; file | diff | annotate
Tue, 24 Sep 2013 20:41:28 +0200 wenzelm more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); file | diff | annotate
Tue, 24 Sep 2013 19:53:05 +0200 wenzelm simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet; file | diff | annotate
Tue, 24 Sep 2013 19:46:11 +0200 wenzelm proper platform-specific test; file | diff | annotate
Tue, 24 Sep 2013 19:41:14 +0200 wenzelm disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly; file | diff | annotate
Sun, 22 Sep 2013 18:42:18 +0200 wenzelm tuned; file | diff | annotate
Sun, 22 Sep 2013 18:36:22 +0200 wenzelm tuned signature; file | diff | annotate
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX); file | diff | annotate | base
less more (0) tip
isabelle