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/Widgets.dcl | |
| parent | Add tune class for margins (diff) | |
Add CSS support
Diffstat (limited to 'src/Gtk/Widgets.dcl')
| -rw-r--r-- | src/Gtk/Widgets.dcl | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index ee290c4..d7df700 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -2,12 +2,13 @@ definition module Gtk.Widgets from StdMaybe import :: Maybe +from System.FilePath import :: FilePath from System._Pointer import :: Pointer from Gtk.State import :: State, :: StateT, :: Identity, :: GtkState, :: GtkM -from Gtk.Types import :: GtkDirection, :: GtkExpand, :: GtkLabel, - :: GtkMargins, :: GtkOrientation, :: GtkPanedHandleWidth, :: GtkResize, - :: GtkShrink +from Gtk.Types import :: GtkCSSClass, :: GtkDirection, :: GtkExpand, + :: GtkLabel, :: GtkMargins, :: GtkOrientation, :: GtkPanedHandleWidth, + :: GtkResize, :: GtkShrink, :: GtkStylePriority class ptr a :: !a -> Pointer @@ -18,6 +19,8 @@ class gtkWidget a :: !a -> GtkWidget instance gtkWidget GtkWidget instance ptr GtkWidget +addCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w +removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w setMargins :: !GtkMargins !w -> GtkM () | gtkWidget w :: GtkContainer @@ -68,3 +71,4 @@ instance gtkContainer GtkWindow newPopup :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow newWindow :: !String !(Maybe (Int,Int)) -> GtkM GtkWindow +addCSSFromFile :: !GtkStylePriority !FilePath !GtkWindow -> GtkM Bool |