Menu

#135 Right-arrow won't go past a dead accent

9.0b4
closed
nobody
None
Bug
major
2017-12-07
2017-07-02
No

Paste the following into Alpha:

th ́eorie

Now position the insertion point at the beginning and try to navigate right
with the arrow key. It won't go past the accented space. (Left arrow key
works alright, and accented letters in general do not pose any problem.)

The problem seems to have to do with some weird composite utf-8...

(The kind of accented space arises often as a result of copying from pdf.)

Discussion

  • Bernard Desgraupes

    I can reproduce this. This is caused by the combining accent. Currently Alpha fails to determine the correct bounds of cluster graphems in its goto command. See interesting explanations here and in Characters and Grapheme Clusters.
    The solution is to use the NSString’s rangeOfComposedCharacterSequencesForRange: or rangeOfComposedCharacterSequenceAtIndex: methods.
    I'll (try to) fix this.

     
  • Bernard Desgraupes

    This is fixed now. There is a new command text composed to determine the span of a base character followed by combining marks.
    Changes committed to the repository (rev. 1346 (sourceforge.net)). The core must be rebuilt.

     
  • Bernard Desgraupes

    • status: open --> fixed
    • Version: 9.0b3 --> 9.0b4
     
  • Bernard Desgraupes

    • status: fixed --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB