Changeset 1961 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui_exec.c

Timestamp:

Jun 16, 2004, 10:57:43 PM (20 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: merged changes from branch gui/gui

File:

• orxonox/trunk/gui/orxonox_gui_exec.c (modified) (1 diff)

orxonox/trunk/gui/orxonox_gui_exec.c

@@ -100 +100 @@
           exec_flags_label = gtk_label_new("test");
           exec_orxonox_settings = orxonox_settings;
+          gtk_widget_set_usize(exec_flags_label, 250,40);
+          gtk_label_set_line_wrap (GTK_LABEL(exec_flags_label), TRUE);
           orxonox_flags_update();
           gtk_container_add (GTK_CONTAINER(flags_frame), exec_flags_label);