Diffusion Isabelle 382309d4b4dc

alternative shortcut, notably for macOS;
382309d4b4dc
Actions

Tags

None

Subscribers

None

Description

alternative shortcut, notably for macOS;

Details

Provenance

Authored on

Parents

rISABELLE4b1cfbf96e36: action isabelle.toggle-full-screen;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE382309d4b4dc: alternative shortcut, notably for macOS;.Jan 3 2021, 11:16 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

rISABELLE382309d4b4dc

src/Tools/jEdit/src/jEdit.props

Loading...