From d7127e4adc4d3e201823d5cb759eef943027bfac Mon Sep 17 00:00:00 2001 From: Omar Rizwan Date: Wed, 31 Jan 2024 18:09:23 -0500 Subject: terminal: Quick fix compatibility with new keyboard system --- virtual-programs/terminal.folk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'virtual-programs') 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 -- cgit v1.2.3