diff options
| author | Omar Rizwan <omar@omar.website> | 2024-01-29 20:54:20 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2024-01-29 20:54:20 +0000 |
| commit | f0afdb831a3736a6d3d24f85f78d35f9e2aa9e3f (patch) | |
| tree | e7b85af5b90b5339a320f1b6ba12c312b6b2a513 /virtual-programs | |
| parent | keyboard,KeyCodes: Ignore instead of ? for invalid key codes (diff) | |
| download | folk-f0afdb831a3736a6d3d24f85f78d35f9e2aa9e3f.tar.gz folk-f0afdb831a3736a6d3d24f85f78d35f9e2aa9e3f.zip | |
editor: Automatically editor-ize keyboards
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/editor.folk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/virtual-programs/editor.folk b/virtual-programs/editor.folk index 0c7e4275..76536f02 100644 --- a/virtual-programs/editor.folk +++ b/virtual-programs/editor.folk @@ -1,6 +1,13 @@ set ::debug_print false set baseCode "Wish \$this is outlined green" +# This makes all keyboards into editors automatically, so a keyboard +# doesn't need an extra printed claim to be an editor. May choose to +# change later, or exclude keyboards that opt out. +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/ { set id "$page$kbPath" Claim $id has region [region move $r up 900px] |