Diffusion Isabelle 1c1d7b3478b1

tuned GUI behaviour;
1c1d7b3478b1
Actions

Tags

None

Subscribers

None

Description

tuned GUI behaviour;

Details

Provenance

Authored on

Parents

rISABELLEaef247025f07: more GUI elements;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1c1d7b3478b1: tuned GUI behaviour;.Dec 5 2022, 10:42 PM

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE1c1d7b3478b1

src/Pure/General/exn.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...