You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
our text cells use proportional fonts, but the cursor is fixed width, for a space.
a space is narrower than most of the letters and the result looks bad.
ideally the cursor should change size based on what it's over.
if that's too hard, then just make it an "n" width.
our text cells use proportional fonts, but the cursor is fixed width, for a space.
a space is narrower than most of the letters and the result looks bad.
ideally the cursor should change size based on what it's over.
if that's too hard, then just make it an "n" width.
codemirror/codemirror5#3256
The text was updated successfully, but these errors were encountered: