diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2024-02-02 21:24:38 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2024-02-02 21:24:38 +0000 |
| commit | 6cc17bf38a9728433ebf96d460d7095a6f7d52f7 (patch) | |
| tree | 7198576652d645385db03e94f27f93e47a3ce1b9 /virtual-programs | |
| parent | Correctly filter keys pressed after editor start time (diff) | |
| download | folk-6cc17bf38a9728433ebf96d460d7095a6f7d52f7.tar.gz folk-6cc17bf38a9728433ebf96d460d7095a6f7d52f7.zip | |
Remove extraneous comments & puts
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/editor.folk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/virtual-programs/editor.folk b/virtual-programs/editor.folk index 268fbcca..00803b3b 100644 --- a/virtual-programs/editor.folk +++ b/virtual-programs/editor.folk @@ -30,7 +30,6 @@ When /page/ is a keyboard with path /kbPath/ &\ When /page/ is a keyboard with path /kbPath/ { On unmatch { - puts "unmatching" Commit "time$kbPath" {} } } @@ -199,7 +198,6 @@ When /page/ is a keyboard with path /kbPath/ & /page/ is an editor { $id has editor code /editorCode/ &\ $id has start time /startTime/ { if {($keyState == "down" || $keyState == "repeat") & $timestamp > ($startTime * 1000) } { - puts "$currentCharacter [expr {$timestamp > ($startTime * 1000)}]" Commit "cursor$kbPath" { switch $currentCharacter { UP { |