Unicode Characters ⟦ and ⟧ Create Spacing/Cursor Position Problem

[Dmitri-2]

This issue occurs when using the ⟦ and ⟧ Unicode characters in the Ace editor. (U+27E6 and U+27E7, respectively.) Using these characters within the editor causes the cursor position to be incorrect, likely due to the fact that these characters have a smaller space consumption than the corresponding regular double bracket (compare [[ and ⟦). The more of these characters on one line, the worse the spacing problem is. Screenshots below:

and

[12Me21]

This happens with many non-ascii characters (and the same error occurs in the github editor)
estimated chance of being fixed : 0.071%

[Dmitri-2]

@12Me21 We came up with a specialized fix for our purposes, by specifically checking for the bracket characters in lib/ace/edit_session.js. This allows us to manually set the screen width of the character and avoid any further errors. (See lines 2000-2037 of edit_session.js). It would be great if Ace was updated to provide full unicode support though! Also, for more info on character support see the varchar branch of the Ace editor.

[github-actions]

This issue has not received any attention in 1 year. If you want to keep this issue open, please leave a comment below and auto-close will be canceled.