Diffusion Isabelle 0a12ca4f3e8d

proper Font_Subst.cache for paintScreenLineRange;
0a12ca4f3e8d
Actions

Tags

None

Subscribers

None

Description

proper Font_Subst.cache for paintScreenLineRange;

Details

Provenance

Authored on

Parents

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

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0a12ca4f3e8d: proper Font_Subst.cache for paintScreenLineRange;.Jun 26 2021, 8:55 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

rich_text_area.scala

rISABELLE0a12ca4f3e8d

src/Tools/jEdit/src/rich_text_area.scala

Loading...