diff options
| author | Omar Rizwan <omar@omar.website> | 2024-01-31 23:09:23 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2024-01-31 23:10:20 +0000 |
| commit | d7127e4adc4d3e201823d5cb759eef943027bfac (patch) | |
| tree | d98c342d93abed22ad612179805b989107063a3e /virtual-programs | |
| parent | Merge pull request #123 from FolkComputer/osnr/web-keyboards (diff) | |
| download | folk-d7127e4adc4d3e201823d5cb759eef943027bfac.tar.gz folk-d7127e4adc4d3e201823d5cb759eef943027bfac.zip | |
terminal: Quick fix compatibility with new keyboard system
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/terminal.folk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/virtual-programs/terminal.folk b/virtual-programs/terminal.folk index 3fb335b5..e5de23dd 100644 --- a/virtual-programs/terminal.folk +++ b/virtual-programs/terminal.folk @@ -77,7 +77,7 @@ When /anyone/ wishes /thing/ is a terminal spawning /cmd/ { } When /anyone/ claims $thing has keyboard input \ - & /anyone/ claims key /key/ is /direction/ with modifiers /modifiers/ { + & keyboard /anyone/ claims key /key/ is /direction/ with modifiers /modifiers/ timestamp /timestamp/ { if {$direction != "up"} { set ctrlPressed [expr {"ctrl" in $modifiers}] Terminal::write $term $key $ctrlPressed |