monoid icon indicating copy to clipboard operation
monoid copied to clipboard

!= and <== ligatures with the subsequent equals signs issues [OS X]

Open atzkey opened this issue 9 years ago • 4 comments

Note, how the <== ligature is being pulled to the right: bugoid

atzkey avatar Nov 13 '15 12:11 atzkey

thanks for the report - I will look into it this christmas :+1:

larsenwork avatar Dec 09 '15 14:12 larsenwork

I can reproduce this in Atom on Linux. Seems to be a general issue how <=============== is treated. No matter how many = you put behind, the whole sequence is always collapsed to the right. Doesn't happen the other way round: ========> will just have the last ==> being replaced by the ligature.

phw avatar Dec 15 '15 16:12 phw

@phw cheers, should be fixed in next update screen shot 4

larsenwork avatar Jun 18 '16 09:06 larsenwork

And this screen shot 5

larsenwork avatar Jun 18 '16 09:06 larsenwork