From 8f2b2addc220bf797e7161c1abd95594d968c351 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 27 Dec 2023 13:16:20 -0800
Subject: [PATCH] Rename the widget IDs to not include numbers.

---
 content/blog/01_types_basics.md | 2 +-
 content/blog/bergamot/index.md  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/content/blog/01_types_basics.md b/content/blog/01_types_basics.md
index 2942f59..f172013 100644
--- a/content/blog/01_types_basics.md
+++ b/content/blog/01_types_basics.md
@@ -462,7 +462,7 @@ and already be up-to-speed on a big chunk of the content.
 | {{< latex >}}\frac{e_1 : \text{number}\quad e_2 : \text{number}}{e_1+e_2 : \text{number}} {{< /latex >}}| Adding numbers gives a number |
 
 #### Playground
-{{< bergamot_widget id="widget-one" query="" prompt="PromptConverter @ prompt(type(?term, ?t)) <- input(?term);" >}}
+{{< bergamot_widget id="widget" query="" prompt="PromptConverter @ prompt(type(?term, ?t)) <- input(?term);" >}}
 section "" {
     TNumber @ type(lit(?n), number) <- num(?n);
     TString @ type(lit(?s), string) <- str(?s);
diff --git a/content/blog/bergamot/index.md b/content/blog/bergamot/index.md
index 403fb13..a46fcde 100644
--- a/content/blog/bergamot/index.md
+++ b/content/blog/bergamot/index.md
@@ -261,7 +261,7 @@ It has two modes:
    `type(empty, ?e, tpair(number, string))` to search for expressions that have
    the type "a pair of a number and a string".
 
-{{< bergamot_widget id="widget-one" query="" prompt="PromptConverter @ prompt(type(empty, ?term, ?t)) <- input(?term);" >}}
+{{< bergamot_widget id="widget" query="" prompt="PromptConverter @ prompt(type(empty, ?term, ?t)) <- input(?term);" >}}
 section "" {
     TNumber @ type(?Gamma, lit(?n), number) <- num(?n);
     TString @ type(?Gamma, lit(?s), string) <- str(?s);