Changeset 2013 in orxonox.OLD for orxonox

Timestamp:

Jun 22, 2004, 1:03:26 PM (20 years ago)

Author:

bensch

Message:

orxonox/branches/gui/guicc: now the gui starts without a border

File:

• orxonox/branches/gui/guicc/orxonox_gui.cc (modified) (1 diff)

orxonox/branches/gui/guicc/orxonox_gui.cc

@@ -177 +177 @@
   gtk_window_set_policy (GTK_WINDOW (widget), TRUE, TRUE, TRUE);
   gtk_container_set_border_width (GTK_CONTAINER (widget), 3);
+  gtk_window_set_decorated (GTK_WINDOW (widget), FALSE);
   this->setTitle (windowName);
 }