From df8cfa2edd72585ac2f002ea11e8736849759ca5 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 23 Oct 2019 09:25:57 +0200
Subject: Add tune instance for signal handlers

---
 src/Gtk/Signal.dcl | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/Gtk/Signal.dcl')

diff --git a/src/Gtk/Signal.dcl b/src/Gtk/Signal.dcl
index e4ce83b..d9e4a7d 100644
--- a/src/Gtk/Signal.dcl
+++ b/src/Gtk/Signal.dcl
@@ -3,6 +3,7 @@ definition module Gtk.Signal
 from System._Pointer import :: Pointer
 
 from Gtk.State import :: GtkM, :: GtkState
+from Gtk.Tune import class tune
 from Gtk.Widgets import class gtkWidget
 
 class signalHandler h
@@ -10,6 +11,8 @@ where
 	signalName :: !h -> String
 	signalHandler :: !h -> SignalHandlerInternal
 
+:: SignalHandler = E.h: SignalHandler h & signalHandler h
+
 :: GSignalHandler
 	= DestroyHandler  !(GtkM ())
 	| ActivateHandler !(GtkM ())
@@ -22,6 +25,8 @@ instance signalHandler GSignalHandler
 
 installSignalHandler :: !h !w -> GtkM w | signalHandler h & gtkWidget w
 
+instance tune w SignalHandler | gtkWidget w
+
 saveState :: GtkM ()
 retrieveState :: GtkM GtkState
 handleSignal :: !Int !{#Int} -> Int
-- 
cgit v1.2.3