diff options
| author | Omar Rizwan <omar@omar.website> | 2024-02-01 23:52:11 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2024-02-01 23:52:11 +0000 |
| commit | 68d100dbb6f2925869e75f79bf2dc0b05a57bfa9 (patch) | |
| tree | 485d000272846311be70d63c856c15be0851bcc8 /virtual-programs | |
| parent | Fix key press on restart (diff) | |
| download | folk-68d100dbb6f2925869e75f79bf2dc0b05a57bfa9.tar.gz folk-68d100dbb6f2925869e75f79bf2dc0b05a57bfa9.zip | |
Revert "Fix key press on restart"
This reverts commit 80f3e29c4f3fcad460c7d12b8a81f8aa21abd25d.
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/editor.folk | 19 |
1 files changed, 3 insertions, 16 deletions
diff --git a/virtual-programs/editor.folk b/virtual-programs/editor.folk index c1dd30d1..3dd03044 100644 --- a/virtual-programs/editor.folk +++ b/virtual-programs/editor.folk @@ -8,10 +8,7 @@ When /page/ is a keyboard with path /anything/ { Claim $page is an editor } -When /page/ is a keyboard with path /kbPath/ &\ - /page/ is an editor &\ - /page/ has region /r/ &\ - the clock time is /t/ { +When /page/ is a keyboard with path /kbPath/ & /page/ is an editor & /page/ has region /r/ { set id "$page$kbPath" Claim $id has region [region move $r up 210%] When /nobody/ claims $id has program code /c/ { @@ -20,15 +17,6 @@ When /page/ is a keyboard with path /kbPath/ &\ Claim $id has editor code $baseCode } } - When /nobody/ claims $id has start time /startTime/ { - Commit "time$kbPath" { - Claim $id has start time $t - } - } - - On unmatch { - Commit "time$kbPath" {} - } } proc updateCursor {oldCursor updates} { @@ -192,9 +180,8 @@ When /page/ is a keyboard with path /kbPath/ & /page/ is an editor { Every time keyboard $kbPath claims key /currentCharacter/ is /keyState/ with modifiers /modifier/ timestamp /timestamp/ &\ the $kbPath cursor is /cursor/ &\ $id has program code /code/ &\ - $id has editor code /editorCode/ &\ - $id has start time /startTime/ { - if {($keyState == "down" || $keyState == "repeat") & $timestamp > ($startTime * 1000) } { + $id has editor code /editorCode/ { + if {$keyState == "down" || $keyState == "repeat"} { Commit "cursor$kbPath" { switch $currentCharacter { UP { |
