Diffusion Isabelle e6c9c1c3f580

support for jEdit font substitution;
e6c9c1c3f580
Actions

Tags

None

Subscribers

None

Description

support for jEdit font substitution;

Details

Provenance

Authored on

Parents

rISABELLE6e43936f2111: more ambitious use of AttributedString (despite be825a69fc67, which was for…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe6c9c1c3f580: support for jEdit font substitution;.Jun 25 2021, 9:14 PM

Changes (2)

Path

Size

src/

Tools/

jEdit/

src/

rich_text_area.scala

rISABELLEe6c9c1c3f580

NEWS

Loading...

src/Tools/jEdit/src/rich_text_area.scala

Loading...