Diffusion Isabelle 158dfe7f68ed

clarified GUI events;
158dfe7f68ed
Actions

Tags

None

Subscribers

None

Description

clarified GUI events;

Details

Provenance

Authored on

Parents

rISABELLEb899d7840b49: clarified GUIs: keep related buttons together;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE158dfe7f68ed: clarified GUI events;.Jan 31 2023, 8:09 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE158dfe7f68ed

src/Tools/jEdit/src/document_dockable.scala

Loading...