webui: add tooltips to 🥷 and 🐢 in bash tool cards
For when people are curious.
Co-Authored-By: sketch <hello@sketch.dev>
Change-ID: sc49577a78023541dk
diff --git a/webui/src/web-components/demo/sketch-tool-card.demo.html b/webui/src/web-components/demo/sketch-tool-card.demo.html
index ba53164..c7a3a1e 100644
--- a/webui/src/web-components/demo/sketch-tool-card.demo.html
+++ b/webui/src/web-components/demo/sketch-tool-card.demo.html
@@ -47,6 +47,8 @@
input: JSON.stringify({
command:
"docker ps -a --format '{{.ID}} {{.Image }} {{.Names}}' | grep sketch | awk '{print $1 }' | xargs -I {} docker rm {} && docker image prune -af",
+ background: true,
+ slow_ok: true,
}),
result_message: {
type: "tool",
@@ -124,6 +126,7 @@
name: "bash",
input: JSON.stringify({
command: "sleep 200",
+ slow_ok: true,
}),
result_message: {
type: "tool",
@@ -131,6 +134,17 @@
},
},
{
+ name: "bash",
+ input: JSON.stringify({
+ command: "npm start",
+ background: true,
+ }),
+ result_message: {
+ type: "tool",
+ tool_result: "Started server in background",
+ },
+ },
+ {
name: "title",
input: JSON.stringify({
title: "a new title for this sketch",