Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 16 Apr 2025 23:16:11 +0200 bundle idea-icons-20250415 with jedit -- requires to update jedit component;
changeset
wenzelm [Wed, 16 Apr 2025 23:16:11 +0200] rev 82550
bundle idea-icons-20250415 with jedit -- requires to update jedit component;
Wed, 16 Apr 2025 22:52:32 +0200 bundle SVG tango icons with jedit -- requires to update jedit component;
changeset
wenzelm [Wed, 16 Apr 2025 22:52:32 +0200] rev 82549
bundle SVG tango icons with jedit -- requires to update jedit component; revise jedit_gui.props: prefer SVG in most situations; replace hardwired icon names by props;
Wed, 16 Apr 2025 12:41:46 +0200 support scaled svg icons directly in GUIUtilities.loadIcon -- requires to update jedit component;
changeset
wenzelm [Wed, 16 Apr 2025 12:41:46 +0200] rev 82548
support scaled svg icons directly in GUIUtilities.loadIcon -- requires to update jedit component;
Tue, 15 Apr 2025 23:38:33 +0200 update idea-icons: prefer scalable SVG;
changeset
wenzelm [Tue, 15 Apr 2025 23:38:33 +0200] rev 82547
update idea-icons: prefer scalable SVG;
Tue, 15 Apr 2025 21:32:50 +0200 support for SVG icons via com.formdev.flatlaf.extras.FlatSVGIcon from flatlaf-extras (which is based on JSVG);
changeset
wenzelm [Tue, 15 Apr 2025 21:32:50 +0200] rev 82546
support for SVG icons via com.formdev.flatlaf.extras.FlatSVGIcon from flatlaf-extras (which is based on JSVG);
Tue, 15 Apr 2025 16:53:07 +0200 misc tuning and clarification;
changeset
wenzelm [Tue, 15 Apr 2025 16:53:07 +0200] rev 82545
misc tuning and clarification;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
isabelle