node-gadget: fixed bug with node renaming

nicolas-p · Apr 14, 2016 · f4b6d4b · f4b6d4b
1 parent 2f84969
commit f4b6d4b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/extra/skov/gadgets/node-gadget/node-gadget.factor b/extra/skov/gadgets/node-gadget/node-gadget.factor
@@ -16,8 +16,8 @@ M: node-gadget y>>  [ loc>> second ] [ pref-dim second 2 / >integer ] bi + ;
 : half-width ( node-gadget -- w ) width 2 / ;
 
 : ?select ( node-gadget -- )
-    [ [ find-vocab not ] [ find-env ] smart-when control-value ]
-    [ find-env ] bi set-control-value ;
+    [ [ find-vocab ] [ children>> [ label? ] any? ] bi and ]
+    [ [ control-value ] [ find-env set-control-value ] bi ] smart-when* ;
 
 : select-result ( node-gadget -- )
     [ control-value result>> ] [ find-env ] bi set-control-value ;