diff options
| author | Camil Staps | 2019-10-21 22:26:53 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-21 22:26:53 +0200 |
| commit | 33a1ae2a40c99fed28e8ee719c31247484e1aa3f (patch) | |
| tree | 3aa6da011b9e3aed457d026c1cd34ed99f4ada18 /src/Gtk/Widgets.dcl | |
| parent | Fix accWorld (diff) | |
Alphabetic order in Gtk.Widgets
Diffstat (limited to 'src/Gtk/Widgets.dcl')
| -rw-r--r-- | src/Gtk/Widgets.dcl | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index 55a6ad4..b027511 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -16,19 +16,12 @@ where toPtr :: !a -> Pointer fromPtr :: !Pointer -> a -:: GtkWidget - -class gtkWidget a :: !a -> GtkWidget - -instance gtkWidget GtkWidget -instance ptr GtkWidget - -show :: !w -> GtkM w | gtkWidget w -destroy :: !w -> GtkM () | gtkWidget w +:: GtkBox +instance gtkWidget GtkBox +instance gtkContainer GtkBox -addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w -removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w -setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w +newBox :: !GtkOrientation !Int -> GtkM GtkBox +packBox :: !GtkBox !GtkDirection !GtkExpand !w -> GtkM w | gtkWidget w :: GtkContainer @@ -53,13 +46,6 @@ runDialog :: !d -> GtkM GtkResponse | gtkDialog d getFileWithDialog :: !GtkWindow !GtkFileChooserAction !(Maybe String) -> GtkM (Maybe FilePath) -:: GtkBox -instance gtkWidget GtkBox -instance gtkContainer GtkBox - -newBox :: !GtkOrientation !Int -> GtkM GtkBox -packBox :: !GtkBox !GtkDirection !GtkExpand !w -> GtkM w | gtkWidget w - :: GtkFrame instance gtkWidget GtkFrame instance gtkContainer GtkFrame @@ -116,6 +102,20 @@ instance gtkContainer GtkTextView newTextView :: GtkM GtkTextView getTextBuffer :: !GtkTextView -> GtkTextBuffer +:: GtkWidget + +class gtkWidget a :: !a -> GtkWidget + +instance gtkWidget GtkWidget +instance ptr GtkWidget + +show :: !w -> GtkM w | gtkWidget w +destroy :: !w -> GtkM () | gtkWidget w + +addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w +removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w +setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w + :: GtkWindow instance gtkWidget GtkWindow instance gtkContainer GtkWindow |