|
|
|
@ -96,7 +96,6 @@ textInput = config \ ui.stateful {
|
|
|
|
# update : State \ Event \ State
|
|
|
|
# update : State \ Event \ State
|
|
|
|
update = state event \ event
|
|
|
|
update = state event \ event
|
|
|
|
| Key { key = c, printable = True } \
|
|
|
|
| Key { key = c, printable = True } \
|
|
|
|
_ = debug "text keydown" c;
|
|
|
|
|
|
|
|
newText = insertChar state.text state.cursorPos c;
|
|
|
|
newText = insertChar state.text state.cursorPos c;
|
|
|
|
newCursorPos = state.cursorPos + 1;
|
|
|
|
newCursorPos = state.cursorPos + 1;
|
|
|
|
newScroll = calcScrollOffset newText newCursorPos state.scrollOffset config.w;
|
|
|
|
newScroll = calcScrollOffset newText newCursorPos state.scrollOffset config.w;
|
|
|
|
|