diff options
author | Camil Staps | 2019-10-20 13:37:53 +0200 |
---|---|---|
committer | Camil Staps | 2019-10-20 13:37:53 +0200 |
commit | 354322c0023e470b5b0830916fb7ae868ad8760d (patch) | |
tree | e7c24f16329036b4685b994363ad2612bc98ac10 /test | |
parent | Move position of GtkFrame label; add framed helper combinator (diff) |
Add setMargins
Diffstat (limited to 'test')
-rw-r--r-- | test/test.icl | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/test/test.icl b/test/test.icl index 635f8ff..5341e9f 100644 --- a/test/test.icl +++ b/test/test.icl @@ -14,11 +14,14 @@ where app = newWindow "Hello!" Nothing >>= \window -> installSignalHandler window (DestroyHandler quit) >>| - newPaned Horizontal WideHandle >>= \paned -> - addToContainer paned window >>| + framed (Label "label") (newPaned Horizontal WideHandle) >>= \(paned,frame) -> + setMargins (margin 8) frame >>| + addToContainer frame window >>| newTextView >>= \text_view_a -> newTextView >>= \text_view_b -> - packPane1 text_view_a paned Resize Shrink >>| - packPane2 text_view_b paned Resize Shrink >>| + setMargins (margin 3) text_view_a >>| + setMargins (margin 3) text_view_b >>| + packPane1 text_view_a paned Resize NoShrink >>| + packPane2 text_view_b paned Resize NoShrink >>| insertAtCursor "Hello" (getTextBuffer text_view_a) >>| insertAtCursor "world!" (getTextBuffer text_view_b) |