From 6cc17bf38a9728433ebf96d460d7095a6f7d52f7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Cuervo?= Date: Fri, 2 Feb 2024 16:24:38 -0500 Subject: Remove extraneous comments & puts --- virtual-programs/editor.folk | 2 -- 1 file changed, 2 deletions(-) (limited to 'virtual-programs') 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 { -- cgit v1.2.3