diff options
Diffstat (limited to 'virtual-programs/terminal.folk')
| -rw-r--r-- | virtual-programs/terminal.folk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/virtual-programs/terminal.folk b/virtual-programs/terminal.folk index e5de23dd..a604fbd7 100644 --- a/virtual-programs/terminal.folk +++ b/virtual-programs/terminal.folk @@ -77,10 +77,9 @@ When /anyone/ wishes /thing/ is a terminal spawning /cmd/ { } When /anyone/ claims $thing has keyboard input \ - & keyboard /anyone/ claims key /key/ is /direction/ with modifiers /modifiers/ timestamp /timestamp/ { + & keyboard /anyone/ claims key /key/ is /direction/ timestamp /timestamp/ { if {$direction != "up"} { - set ctrlPressed [expr {"ctrl" in $modifiers}] - Terminal::write $term $key $ctrlPressed + Terminal::write $term $key } } } |