use profile name

Picolab · Sep 9, 2023 · 0343384 · 0343384 · b1conrad · Sep 9, 2023
1 parent 7f0c42b
commit 0343384
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/krl/io.picolabs.plan.connect.krl b/krl/io.picolabs.plan.connect.krl
@@ -33,7 +33,7 @@ ruleset io.picolabs.plan.connect {
 </form>
 <ul>
 #{did_map.keys().map(function(k){
-  name = wrangler:picoQuery(k,"io.picolabs.wrangler","name",{})
+  name = wrangler:picoQuery(k,"io.picolabs.plan.profile","name",{})
   title = name => << title="#{name}">> | ""
 <<<li#{title}>#{k.elide()} : #{did_map.get(k).elide()}</li>
 >>}).join("")}</ul>

diff --git a/krl/io.picolabs.plan.profile.krl b/krl/io.picolabs.plan.profile.krl
@@ -4,7 +4,7 @@ ruleset io.picolabs.plan.profile {
     use module io.picolabs.plan.apps alias app
     use module io.picolabs.pds alias pds
     use module io.picolabs.wrangler alias wrangler
-    shares profile
+    shares profile, name
     provides data
   }
   global {
@@ -100,6 +100,9 @@ You may edit your information: click, change, and press Enter key (or Esc to und
           a.put(k,pds:getData("profile",n))
         },{})
     }
+    name = function(){
+      pds:getData("profile",element_names[1])
+    }
   }
   rule initializeProfile {
     select when io_picolabs_plan_profile factory_reset