diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2023-11-10 20:58:24 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2023-11-10 20:58:24 +0000 |
| commit | f6cb5760eb98caae80e76279271c28c40b0eb95b (patch) | |
| tree | f02ed111f1b97f62c897597a7bdc64c4b0fef09e /virtual-programs/editor.folk | |
| parent | Add virtual-programs/keyboard.folk (diff) | |
| download | folk-f6cb5760eb98caae80e76279271c28c40b0eb95b.tar.gz folk-f6cb5760eb98caae80e76279271c28c40b0eb95b.zip | |
Add keyboard progress
Diffstat (limited to 'virtual-programs/editor.folk')
| -rw-r--r-- | virtual-programs/editor.folk | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/virtual-programs/editor.folk b/virtual-programs/editor.folk index 8d3e12ad..705bcd39 100644 --- a/virtual-programs/editor.folk +++ b/virtual-programs/editor.folk @@ -1,8 +1,10 @@ set id "editor-1" -set ::debug_cursor true -set ::debug_print true +set ::debug_cursor false +set ::debug_print false -When /page/ is editor /n/ & /page/ has region /r/ { +# When /page/ is editor /n/ & /page/ has region /r/ { +When /page/ is a keyboard with path /kbPath/ & /page/ has region /r/ { + # Claim $this is a keyboard with path /dev/input/by-path/platform-i8042-serio-0-event-kbd Wish $page is outlined gray Claim $id has region [region move $r up 450px] } @@ -381,4 +383,4 @@ Claim $this has demo { # Ideally: Claim $this is keyboard with path /dev/input/by-path/platform-i8042-serio-0-event-kbd -}
\ No newline at end of file +} |