ui.gadgets.editors: can just use preedit-start>> as boolean.
parent
258d7e05d6
commit
32fa577368
|
@ -21,7 +21,7 @@ TUPLE: editor < line-gadget
|
|||
preedit-selection-mode?
|
||||
preedit-underlines ;
|
||||
|
||||
M: editor preedit? preedit-start>> [ t ] [ f ] if ;
|
||||
M: editor preedit? preedit-start>> ;
|
||||
|
||||
<PRIVATE
|
||||
|
||||
|
|
Loading…
Reference in New Issue