Changeset 3154 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui_gtk.cc

Timestamp:

Dec 11, 2004, 8:12:01 PM (19 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: gtk-fix if window gets closed by windowManager

File:

• orxonox/trunk/gui/orxonox_gui_gtk.cc (modified) (1 diff)

orxonox/trunk/gui/orxonox_gui_gtk.cc

@@ -292 +292 @@
   gtk_window_set_policy (GTK_WINDOW(widget), TRUE, TRUE, TRUE);
 #if !defined(__WIN32__)
-  gtk_window_set_decorated (GTK_WINDOW (widget), FALSE);
+  //  gtk_window_set_decorated (GTK_WINDOW (widget), FALSE);
 #endif 
   gtk_container_set_border_width (GTK_CONTAINER (widget), 3);