Email Gateway (May 20 2025 at 18:34): Email Gateway (May 20 2025 at 18:34):From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *
Additional look-and-feels "FlatLaf macOS Light" and "FlatLaf macOS
Dark" imitate original macOS more closely. This is the default for the
bundled application on macOS.
GUI rendering for dark look-and-feels has been slightly improved:
colors and icons, notably the menu accelerator font/color.
Explicit support for dark GUI themes: FlatLaf tells wether a Swing
look & feel is dark or non-dark (default); jEdit options with suffix
".dark" and Isabelle options with suffix "_dark" determine GUI rendering
in dark mode. The panels for "Global Options" and "Plugin Options /
Isabelle / Rendering" operate on options according to the current Swing
look & feel, e.g. on "view.fgColor.dark" in dark mode vs. "view.fgColor"
in non-dark mode.
This refers to Isabelle/f7007ebfb556. It is based on a bachelor project by Kai
Naumann (supervised by Balazs Toth), LMU München. As often, I ended up
changing the initial design and implementation in several rounds.
Side-remark: The place to change the jEdit look and feel is "Global Options /
Appearance / Swing look & feel".
Makarius
Email Gateway (May 20 2025 at 18:52):From: Makarius <makarius@sketis.net>
On 20/05/2025 20:34, Makarius wrote:
This refers to Isabelle/f7007ebfb556. It is based on a bachelor project by Kai
Naumann (supervised by Balazs Toth), LMU München. As often, I ended up
changing the initial design and implementation in several rounds.
Further side-remarks: the color scheme is mostly that of Kai Naumann, who made
some efforts to produce an "accessible" color scheme, taking well-known
limitations of eye-sight into account.
We may have to refine the colors a few more times, and take other "dark"
themes into account as well (e.g. IntelliJ IDEA, VSCode). Also note that macOS
provides a built-in color filter to simulate such limitations, but I have not
tried that yet.
Right now, the main point in testing is to figure out details that are
definitely unusable. For example, only today I have noticed that the small
dropdown triangle in the dockable window manager was almost invisible. I've
changed it here, both in size and color:
changeset: 82634:9f85679fd899
user: wenzelm
date: Tue May 20 15:32:24 2025 +0200
files: src/Tools/jEdit/patches/docking src/Tools/jEdit/patches/gui
src/Tools/jEdit/patches/panel_font src/Tools/jEdit/patches/vfs_marker
description:
proper scalable icon, also for dark mode -- requires to update jedit component;
Makarius
Last updated: May 31 2025 at 01:44 UTC