diff options
| author | Omar Rizwan <omar@omar.website> | 2024-01-29 22:59:27 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2024-01-29 22:59:27 +0000 |
| commit | d5ce31e6c3f7232cbaae77cd8c2cd33cfeb0de91 (patch) | |
| tree | 1f94e09a0f017447ec0c80a4c3e66a5c22836cbc /virtual-programs | |
| parent | keyboard: `the keyboards are` full sentence (diff) | |
| download | folk-d5ce31e6c3f7232cbaae77cd8c2cd33cfeb0de91.tar.gz folk-d5ce31e6c3f7232cbaae77cd8c2cd33cfeb0de91.zip | |
editor: Use percentages to define regions
Should scale better to different-resolution systems?
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/editor.folk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/virtual-programs/editor.folk b/virtual-programs/editor.folk index 76536f02..0b77bc7f 100644 --- a/virtual-programs/editor.folk +++ b/virtual-programs/editor.folk @@ -10,7 +10,7 @@ When /page/ is a keyboard with path /anything/ { 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] + Claim $id has region [region move $r up 210%] When /nobody/ claims $id has program code /c/ { Commit "code$kbPath" { Claim $id has program code $baseCode @@ -130,7 +130,7 @@ When /page/ is a keyboard with path /kbPath/ & /page/ is an editor { set intTime [expr {int($t * 10)}] set scale 0.60 - set relativeRegion [region move $r down 450px] + set relativeRegion [region move $r down 105%] Claim $id' has region $relativeRegion Wish $id' is outlined white lassign [region topleft $r] xstart ystart |