text: different font sizes can cause weird selection rectangles

LivelyKernel / lively.morphic

An implementation of the Morphic user interface framework for lively.next.

13 stars 2 forks source link

Open rksm opened 7 years ago

merryman commented 6 years ago

I have fixed that now in: 39ca12f82e1bff227cae0874272ca67504745eb2

rksm commented 6 years ago

The change is causing selection issues:

broken-text-selection