diff options
Diffstat (limited to 'src/Gtk/Tune.dcl')
| -rw-r--r-- | src/Gtk/Tune.dcl | 4 |
1 files changed, 0 insertions, 4 deletions
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 |