Diffusion Isabelle 994c9dacd2f9

more predictable result, avoid slightly odd "lastSubstFont" by jEdit;
994c9dacd2f9
Actions

Tags

None

Subscribers

None

Description

more predictable result, avoid slightly odd "lastSubstFont" by jEdit;

Details

Provenance

Authored on

Parents

rISABELLE01efb7cbf365: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE994c9dacd2f9: more predictable result, avoid slightly odd "lastSubstFont" by jEdit;.Jun 26 2021, 4:03 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

rich_text_area.scala

rISABELLE994c9dacd2f9

src/Tools/jEdit/src/rich_text_area.scala

Loading...