Add Custom Widget Names. (#1977)

Add Custom Widget Names. Closes #1976.
swarm-game · Jun 23, 2024 · 56299ea · 56299ea
1 parent 8403cce
commit 56299ea
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/swarm-tui/Swarm/TUI/Model/Name.hs b/src/swarm-tui/Swarm/TUI/Model/Name.hs
@@ -8,6 +8,8 @@
 -- case matching.
 module Swarm.TUI.Model.Name where
 
+import Data.Text (Text)
+
 data WorldEditorFocusable
   = BrushSelector
   | EntitySelector
@@ -110,4 +112,6 @@ data Name
     REPLViewport
   | -- | A clickable button in a modal dialog.
     Button Button
+  | -- | A custom widget name, for use in applications built on top of the Swarm library.
+    CustomName Text
   deriving (Eq, Ord, Show, Read)