Changeset 3154 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui_keys.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_keys.cc (modified) (2 diffs)

orxonox/trunk/gui/orxonox_gui_keys.cc

@@ -59 +59 @@
 
   pKeyWindow = new Window("keys of player");
+  pKeyFrame = new Frame ("keys");
    pKeysBox = new Box('v');
     pKeysBox->fill(addKey(UP, "up"));
@@ -68 +69 @@
     closeButton = new Button("close");
     closeButton->connectSignal("button_press_event", pKeyWindow, Window::windowClose);
+
     pKeysBox->fill(closeButton);
-   pKeyWindow->fill(pKeysBox);
+    pKeyFrame->fill(pKeysBox);
+   pKeyWindow->fill(pKeyFrame);
    //  Window::addWindow(pKeyWindow);
+   pKeyWindow->connectSignal("destroy", pKeyWindow, Window::windowClose);
+   pKeyWindow->connectSignal("delete_event", pKeyWindow, Window::windowClose);
 
   openButton = new Button (player);