From 1af27a3bb964caad3a1fd5ec80e94e681ae57e10 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 28 Oct 2019 09:24:11 +0100
Subject: Add GtkLabel, GtkGrid, and alignment tuning for GtkWidget

---
 src/Gtk/Tune.dcl | 4 ----
 1 file changed, 4 deletions(-)

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

diff --git a/src/Gtk/Tune.dcl b/src/Gtk/Tune.dcl
index 61014a8..f5966ec 100644
--- a/src/Gtk/Tune.dcl
+++ b/src/Gtk/Tune.dcl
@@ -6,10 +6,6 @@ from Gtk.Widgets import :: GtkWidget, class gtkWidget
 
 class tune elem option :: !option !elem -> GtkM elem
 
-instance tune elem (oa,ob)       | tune elem oa & tune elem ob
-instance tune elem (oa,ob,oc)    | tune elem oa & tune elem ob & tune elem oc
-instance tune elem (oa,ob,oc,od) | tune elem oa & tune elem ob & tune elem oc & tune elem od
-
 (<<@) infixl 2 :: !(GtkM elem) !option -> GtkM elem | tune elem option
 
 instance tune w GtkMargins | gtkWidget w
-- 
cgit v1.2.3