diff options
| author | Camil Staps | 2019-10-21 08:57:56 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-21 08:57:56 +0200 |
| commit | 5165b27ba2a1bb2129788a2e1de310ee6a347e4d (patch) | |
| tree | ffc504b7844e47cced682bc38725bc74f7629673 /src/Gtk/Tune.dcl | |
| parent | Add tune class for margins (diff) | |
Add CSS support
Diffstat (limited to 'src/Gtk/Tune.dcl')
| -rw-r--r-- | src/Gtk/Tune.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Gtk/Tune.dcl b/src/Gtk/Tune.dcl index 07d0507..63ad69d 100644 --- a/src/Gtk/Tune.dcl +++ b/src/Gtk/Tune.dcl @@ -1,7 +1,7 @@ definition module Gtk.Tune from Gtk.State import :: StateT, :: Identity, :: State, :: GtkState, :: GtkM -from Gtk.Types import :: GtkMargins +from Gtk.Types import :: GtkCSSClass, :: GtkMargins from Gtk.Widgets import :: GtkWidget, class gtkWidget class tune elem option :: !(GtkM elem) !option -> GtkM elem @@ -10,3 +10,4 @@ class tune elem option :: !(GtkM elem) !option -> GtkM elem (<<@) elem option :== tune elem option instance tune w GtkMargins | gtkWidget w +instance tune w GtkCSSClass | gtkWidget w |