diff options
| author | Camil Staps | 2019-10-28 09:24:11 +0100 |
|---|---|---|
| committer | Camil Staps | 2019-10-28 09:24:11 +0100 |
| commit | 1af27a3bb964caad3a1fd5ec80e94e681ae57e10 (patch) | |
| tree | 32a6c8f597001c919bda8cd6895511b7f3c48d0d /src/Gtk/Tune.dcl | |
| parent | Add many functions for action bars, buttons, list stores, tree views, and more (diff) | |
Add GtkLabel, GtkGrid, and alignment tuning for GtkWidget
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 |