From 6de64e14979924f900e4e6333ed6eb3004614b8b Mon Sep 17 00:00:00 2001 From: Sumit Sahrawat <sumit.sahrawat.apm13@iitbhu.ac.in> Date: Thu, 16 Jul 2015 00:03:43 +0530 Subject: [PATCH] Add closeWidget for closing widgets --- .../src/IHaskell/Display/Widgets/Common.hs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Common.hs b/ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Common.hs index 1d730e9..da080b1 100644 --- a/ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Common.hs +++ b/ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Common.hs @@ -10,10 +10,18 @@ module IHaskell.Display.Widgets.Common where import Data.Aeson +import Data.Aeson.Types (emptyObject) import Data.Text (pack, Text) import Data.Singletons.TH +import IHaskell.Display (IHaskellWidget) +import IHaskell.Eval.Widgets (widgetSendClose) + +-- | Close a widget's comm +closeWidget :: IHaskellWidget w => w -> IO () +closeWidget w = widgetSendClose w emptyObject + -- Widget properties singletons [d| data Field = ViewModule -- 2.21.0