Diffusion Isabelle 6840013a791a

clarified GUI: avoid odd jumping pages on "Cancel";
6840013a791a
Actions

Tags

None

Subscribers

None

Description

clarified GUI: avoid odd jumping pages on "Cancel";

Details

Provenance

Authored on

Parents

rISABELLEdd9bde3d839e: clarified GUI events;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6840013a791a: clarified GUI: avoid odd jumping pages on "Cancel";.Jan 31 2023, 5:46 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE6840013a791a

src/Tools/jEdit/src/document_dockable.scala

Loading...