From dc318f92f94d95bef212c2a33d75b51687313610 Mon Sep 17 00:00:00 2001 From: Omar Rizwan Date: Thu, 13 Jul 2023 17:30:39 -0400 Subject: Make `region create` --- virtual-programs/new-program-web-editor.folk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'virtual-programs/new-program-web-editor.folk') 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 } -- cgit v1.2.3