ui.backend.cocoa.views: some formatting cleanup.
parent
c8f82ecf2c
commit
42b6fbec70
|
@ -238,7 +238,7 @@ IMPORT: NSAttributedString
|
|||
] [ underlines ] if ;
|
||||
|
||||
:: update-marked-text ( gadget str selectedRange replacementRange -- )
|
||||
replacementRange location>> NSNotFound = not [
|
||||
replacementRange location>> NSNotFound = [
|
||||
gadget editor-caret first
|
||||
dup gadget editor-line
|
||||
[
|
||||
|
@ -253,7 +253,7 @@ IMPORT: NSAttributedString
|
|||
gadget earlier-caret/mark dup
|
||||
gadget preedit-start<<
|
||||
0 1 2array v+ gadget preedit-end<<
|
||||
] when
|
||||
] unless
|
||||
|
||||
gadget preedit? [
|
||||
gadget remove-preedit-text
|
||||
|
@ -483,7 +483,8 @@ PRIVATE>
|
|||
] 2bi
|
||||
] unless
|
||||
gadget preedit? [
|
||||
gadget [ remove-preedit-text ] [ remove-preedit-info ] bi
|
||||
gadget remove-preedit-text
|
||||
gadget remove-preedit-info
|
||||
str gadget user-input* drop
|
||||
f gadget preedit-selection-mode?<<
|
||||
] [
|
||||
|
@ -501,7 +502,7 @@ PRIVATE>
|
|||
window [
|
||||
window world-focus :> gadget
|
||||
gadget [
|
||||
gadget preedit? [ 1 ] [ 0 ] if
|
||||
gadget preedit? 1 0 ?
|
||||
] [ 0 ] if
|
||||
] [ 0 ] if
|
||||
] ;
|
||||
|
@ -512,15 +513,13 @@ PRIVATE>
|
|||
window world-focus :> gadget
|
||||
gadget [
|
||||
gadget preedit? [
|
||||
gadget [ preedit-start>> second ] [ preedit-end>> second ] bi >= [
|
||||
NSNotFound 0
|
||||
] [
|
||||
gadget preedit-start>> second
|
||||
gadget preedit-end>> second < [
|
||||
gadget preedit-start>> first gadget editor-line :> str
|
||||
gadget
|
||||
[ preedit-start>> second ] ! location
|
||||
[ preedit-end>> second ]
|
||||
bi [ str swap >utf16-index ] bi@ over - ! length
|
||||
] if
|
||||
gadget preedit-start>> second ! location
|
||||
gadget preedit-end>> second
|
||||
[ str swap >utf16-index ] bi@ over - ! length
|
||||
] [ NSNotFound 0 ] if
|
||||
] [ NSNotFound 0 ] if
|
||||
] [ NSNotFound 0 ] if
|
||||
] [ NSNotFound 0 ] if
|
||||
|
@ -536,14 +535,12 @@ PRIVATE>
|
|||
gadget editor-caret first gadget editor-line :> str
|
||||
gadget preedit? [
|
||||
str
|
||||
gadget
|
||||
[ preedit-selected-start>> second ]
|
||||
[ preedit-start>> second ]
|
||||
bi - >utf16-index ! location
|
||||
gadget
|
||||
[ preedit-selected-end>> second ]
|
||||
[ preedit-selected-start>> second ]
|
||||
bi [ str swap >utf16-index ] bi@ - ! length
|
||||
gadget preedit-selected-start>> second
|
||||
gadget preedit-start>> second
|
||||
- >utf16-index ! location
|
||||
gadget preedit-selected-end>> second
|
||||
gadget preedit-selected-start>> second
|
||||
[ str swap >utf16-index ] bi@ - ! length
|
||||
] [
|
||||
str gadget editor-caret second >utf16-index 0
|
||||
] if
|
||||
|
@ -587,9 +584,11 @@ PRIVATE>
|
|||
gadget {
|
||||
[ preedit-start>> second ]
|
||||
[ preedit-end>> second ]
|
||||
[ preedit-start>> first ] [ editor-line ]
|
||||
[ preedit-start>> first ]
|
||||
[ editor-line ]
|
||||
} cleave subseq
|
||||
gadget [ remove-preedit-text ] [ remove-preedit-info ] bi
|
||||
gadget remove-preedit-text
|
||||
gadget remove-preedit-info
|
||||
gadget user-input* drop
|
||||
] when
|
||||
f gadget preedit-selection-mode?<<
|
||||
|
|
Loading…
Reference in New Issue