diff options
| author | Camil Staps | 2019-10-20 12:58:02 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-20 12:58:02 +0200 |
| commit | 786bb35f3891fec41030caf1df7a4461ea97729e (patch) | |
| tree | 3463a477bc5df53db83eaa9b8afa8fcb52d0387e /src/Gtk/Widgets.icl | |
| parent | Add GtkBox support (diff) | |
Add GtkFrame
Diffstat (limited to 'src/Gtk/Widgets.icl')
| -rw-r--r-- | src/Gtk/Widgets.icl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl index b7deab5..b630549 100644 --- a/src/Gtk/Widgets.icl +++ b/src/Gtk/Widgets.icl @@ -44,6 +44,17 @@ packBox widget box direction expand = toState (if direction=:StartToEnd 'I'.gtk_box_pack_start 'I'.gtk_box_pack_end box (gtkWidget widget) expand=:Expand True 0) +:: GtkFrame :== Pointer + +instance gtkWidget GtkFrame where gtkWidget f = f +instance gtkContainer GtkFrame where gtkContainer f = f + +newFrame :: !GtkLabel !w -> State GtkState GtkFrame | gtkWidget w +newFrame label widget = + toStateR ('I'.gtk_frame_new (case label of Label l -> Just l; _ -> Nothing)) >>= \frame -> + addToContainer widget frame >>| + show frame + :: GtkPaned :== Pointer instance gtkWidget GtkPaned where gtkWidget p = p |