/src/wrappers/gtk/examples/paned/paned_example.e
Specman e | 32 lines | 14 code | 7 blank | 11 comment | 0 complexity | aba4c3e78eddf2cda74d9c70173fc86b MD5 | raw file
1indexing 2 description: "GtkPaned example." 3 copyright: "(C) 2006 Paolo Redaelli " 4 license: "LGPL v2 or later" 5 date: "$Date:$" 6 revision: "$Revision:$" 7 8class PANED_EXAMPLE 9insert GTK_MAIN 10 11creation make 12 13feature {} -- Creation 14 make is 15 -- TODO: Eiffelize this example Example 1. Creating a paned widget with minimum sizes. 16 do 17 -- GtkWidget *hpaned = gtk_hpaned_new (); 18 -- GtkWidget *frame1 = gtk_frame_new (NULL); 19 -- GtkWidget *frame2 = gtk_frame_new (NULL); 20 -- gtk_frame_set_shadow_type (GTK_FRAME (frame1), GTK_SHADOW_IN); 21 -- gtk_frame_set_shadow_type (GTK_FRAME (frame2), GTK_SHADOW_IN); 22 23 -- gtk_widget_set_size_request (hpaned, 200 + GTK_PANED (hpaned)->gutter_size, -1); 24 25 -- gtk_paned_pack1 (GTK_PANED (hpaned), frame1, TRUE, FALSE); 26 -- gtk_widget_set_size_request (frame1, 50, -1); 27 28 -- gtk_paned_pack2 (GTK_PANED (hpaned), frame2, FALSE, FALSE); 29 -- gtk_widget_set_size_request (frame2, 50, -1); 30 end 31end 32