diff options
| author | Omar Rizwan <omar@omar.website> | 2023-07-13 21:30:39 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2023-07-13 21:30:39 +0000 |
| commit | dc318f92f94d95bef212c2a33d75b51687313610 (patch) | |
| tree | dd6dbc1e7efb0bb837e515e9d3b6d83c14c60486 /virtual-programs/new-program-web-editor.folk | |
| parent | Simplify region op (diff) | |
| download | folk-dc318f92f94d95bef212c2a33d75b51687313610.tar.gz folk-dc318f92f94d95bef212c2a33d75b51687313610.zip | |
Make `region create`
Diffstat (limited to 'virtual-programs/new-program-web-editor.folk')
| -rw-r--r-- | virtual-programs/new-program-web-editor.folk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/virtual-programs/new-program-web-editor.folk b/virtual-programs/new-program-web-editor.folk index 305dde8f..a7c176cc 100644 --- a/virtual-programs/new-program-web-editor.folk +++ b/virtual-programs/new-program-web-editor.folk @@ -139,7 +139,7 @@ Wish the web server handles route "/new" with handler { [list [expr {$x+$w}] [expr {$y+$h}]]] set edges [list [list 0 1] [list 1 2] [list 2 3] [list 3 0]] Retract web claims $program has region /something/ - Assert web claims $program has region [list $vertices $edges] + Assert web claims $program has region [region create $vertices $edges] } handleConfigure {${program}} $left $top {${w}} {${h}} if {$::isLaptop} { Step } |