Add Widget.destroy

postsolar · Feb 24, 2024 · fc8bc14 · fc8bc14
1 parent 523ef63
commit fc8bc14
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/src/AGS/Widget.js b/src/AGS/Widget.js
@@ -8,3 +8,7 @@ export const withInterval =
       return
     }
 
+export const destroy =
+  widget => () =>
+    widget.destroy()
+
diff --git a/src/AGS/Widget.purs b/src/AGS/Widget.purs
@@ -1,6 +1,7 @@
 module AGS.Widget
   ( grabFocus
   , withInterval
+  , destroy
   , module Exports
   ) where
 
@@ -95,10 +96,12 @@ import Effect.Uncurried
 import Gtk.Widget (Widget)
 import Gtk.Widget (Widget) as Exports
 import Prelude (Unit)
+import Unsafe.Coerce (unsafeCoerce)
 import Untagged.Union (asOneOf) as Exports
 
 -- * Methods
 
 foreign import grabFocus ∷ Widget → Effect Unit
 foreign import withInterval ∷ Int → Effect Unit → Widget → Effect Unit
+foreign import destroy ∷ Widget → Effect Unit