KeyHandler // Misc fix in FixNode().
This commit is contained in:
parent
9650a0c35e
commit
fba6ff5d33
|
@ -205,9 +205,9 @@ class KeyHandler {
|
||||||
/// 若偏好設定內啟用了相關選項,則會在選字之後始終將游標推送至選字厚的節錨的前方。
|
/// 若偏好設定內啟用了相關選項,則會在選字之後始終將游標推送至選字厚的節錨的前方。
|
||||||
if mgrPrefs.moveCursorAfterSelectingCandidate, respectCursorPushing {
|
if mgrPrefs.moveCursorAfterSelectingCandidate, respectCursorPushing {
|
||||||
var nextPosition = 0
|
var nextPosition = 0
|
||||||
for node in walkedAnchors {
|
for theAnchor in walkedAnchors {
|
||||||
if nextPosition >= cursorIndex { break }
|
if nextPosition >= cursorIndex { break }
|
||||||
nextPosition += node.spanningLength
|
nextPosition += theAnchor.spanningLength
|
||||||
}
|
}
|
||||||
if nextPosition <= compositorLength {
|
if nextPosition <= compositorLength {
|
||||||
compositorCursorIndex = nextPosition
|
compositorCursorIndex = nextPosition
|
||||||
|
|
Loading…
Reference in New Issue