Are there key combinations for increasing/decreasing jEdit font size on a recent MacBook Air?
Doesn't Command + minus/plus
work?
Maybe you want register your own keybind through
Isabelle > Settings > Global Options > Shortcuts
.
Last updated: Oct 18 2025 at 16:23 UTC