Diffusion Isabelle ab9cc7cda0ec

output panel: don't discard already filtered messages
ab9cc7cda0ec
Actions

Tags

None

Subscribers

None

Description

output panel: don't discard already filtered messages

Details

Provenance

Authored on

Parents

rISABELLE1a68cd0c57d3: merged

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rISABELLEab9cc7cda0ec: output panel: don't discard already filtered messages.Jul 26 2023, 3:06 PM

makarius mentioned this in rISABELLE33bc244eafdb: revert adhoc change ab9cc7cda0ec: lacks reasoning (and discussion);.Jul 26 2023, 3:42 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

output_dockable.scala

rISABELLEab9cc7cda0ec

src/Tools/jEdit/src/output_dockable.scala

Loading...