PageRenderTime 5ms CodeModel.GetById 1ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/gtk/examples/paned/paned_example.e

http://github.com/tybor/Liberty
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