From 1b1c7e80c70a8d3e79bf13bce10e00d054a32bda Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 20 Feb 2024 17:52:26 +0100
Subject: [PATCH] Add old code, for reference.

---
 drop/APIStuff.purs  | 3 +++
 drop/ClassName.purs | 7 +++++++
 2 files changed, 10 insertions(+)
 create mode 100644 drop/APIStuff.purs
 create mode 100644 drop/ClassName.purs

diff --git a/drop/APIStuff.purs b/drop/APIStuff.purs
new file mode 100644
index 0000000..7fabf1b
--- /dev/null
+++ b/drop/APIStuff.purs
@@ -0,0 +1,3 @@
+maybeCurrentConnection <- H.gets _.wsInfo.connection
+when (isJust maybeCurrentConnection) do
+  H.modify_ _ { wsInfo { connection = Nothing, reconnect = true } }
diff --git a/drop/ClassName.purs b/drop/ClassName.purs
new file mode 100644
index 0000000..514903f
--- /dev/null
+++ b/drop/ClassName.purs
@@ -0,0 +1,7 @@
+
+btn_delete :: forall w i. (MouseEvent -> i) -> HH.HTML w i
+btn_delete action
+  = HH.button
+      [ HE.onClick action
+      , HP.classes [ HH.ClassName "button is-small is-danger" ]
+      ] [ HH.text "remove" ]