From 3670cdea024845e211cbf840cd9aebb20b5e74ae Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 20 Oct 2019 16:03:52 +0200
Subject: Add tune class for margins

---
 src/Gtk/Tune.dcl | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/Gtk/Tune.dcl

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

diff --git a/src/Gtk/Tune.dcl b/src/Gtk/Tune.dcl
new file mode 100644
index 0000000..07d0507
--- /dev/null
+++ b/src/Gtk/Tune.dcl
@@ -0,0 +1,12 @@
+definition module Gtk.Tune
+
+from Gtk.State import :: StateT, :: Identity, :: State, :: GtkState, :: GtkM
+from Gtk.Types import :: GtkMargins
+from Gtk.Widgets import :: GtkWidget, class gtkWidget
+
+class tune elem option :: !(GtkM elem) !option -> GtkM elem
+
+(<<@) infixl 2
+(<<@) elem option :== tune elem option
+
+instance tune w GtkMargins | gtkWidget w
-- 
cgit v1.2.3