tooltip

Picolab · Sep 9, 2023 · 7f0c42b · 7f0c42b
1 parent eda21e8
commit 7f0c42b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/krl/io.picolabs.plan.connect.krl b/krl/io.picolabs.plan.connect.krl
@@ -33,7 +33,9 @@ ruleset io.picolabs.plan.connect {
 </form>
 <ul>
 #{did_map.keys().map(function(k){
-<<<li>#{k.elide()} : #{did_map.get(k).elide()}</li>
+  name = wrangler:picoQuery(k,"io.picolabs.wrangler","name",{})
+  title = name => << title="#{name}">> | ""
+<<<li#{title}>#{k.elide()} : #{did_map.get(k).elide()}</li>
 >>}).join("")}</ul>
 <h2>Technical</h2>
 <h3>DIDDocs</h3>