Changeset 6981 in orxonox.OLD for trunk/src/lib/gui/gtk_gui

Timestamp:

Feb 2, 2006, 2:45:07 PM (19 years ago)

Author:

bensch

Message:

trunk: some virtuals

Location:

trunk/src/lib/gui/gtk_gui

Files:

• gui.h (modified) (1 diff)
• gui_audio.h (modified) (1 diff)
• gui_banner.h (modified) (1 diff)
• gui_exec.h (modified) (1 diff)
• gui_flags.h (modified) (1 diff)
• gui_keys.h (modified) (2 diffs)
• gui_update.h (modified) (1 diff)
• gui_video.h (modified) (1 diff)

trunk/src/lib/gui/gtk_gui/gui.h

@@ -24 +24 @@
  public:
   Gui(int argc, char *argv[]);
-  ~Gui();
+  virtual ~Gui();
 
   void startGui();

trunk/src/lib/gui/gtk_gui/gui_audio.h

@@ -14 +14 @@
  public:
   GuiAudio();
-  ~GuiAudio();
+  virtual ~GuiAudio();
 };
 #endif /* _GUI_AUDIO_H */

trunk/src/lib/gui/gtk_gui/gui_banner.h

@@ -16 +16 @@
  public:
   GuiBanner();
-  ~GuiBanner();
+  virtual ~GuiBanner();
 };
 

trunk/src/lib/gui/gtk_gui/gui_exec.h

@@ -34 +34 @@
  public:
   GuiExec();
-  ~GuiExec();
+  virtual ~GuiExec();
 
   void setConfDir(const char* confDir);

trunk/src/lib/gui/gtk_gui/gui_flags.h

@@ -22 +22 @@
  public:
   GuiFlags();
-  ~GuiFlags();
+  virtual ~GuiFlags();
 
   void setTextFromFlags(Widget* widget);
   static void flagsText(Widget* widget, void* flagInfo);
-  
+
   //! Struct that handles flag information.
   struct FlagInfo

trunk/src/lib/gui/gtk_gui/gui_keys.h

@@ -28 +28 @@
  public:
   GuiKeys();
-  ~GuiKeys();
+  virtual ~GuiKeys();
 
   static Window* inputWindow; //!< A Window that gets keyboard clicks. Static, because only one needed.
@@ -55 +55 @@
   MiscKeys();
 
-  Button* getOpenButton();  
+  Button* getOpenButton();
 };
 

trunk/src/lib/gui/gtk_gui/gui_update.h

@@ -100 +100 @@
  public:
   GuiUpdate();
-  ~GuiUpdate();
+  virtual ~GuiUpdate();
 
 #ifdef HAVE_CURL

trunk/src/lib/gui/gtk_gui/gui_video.h

@@ -18 +18 @@
  private:
   //  Button* advancedWindowGetButton();
-  
+
  public:
   GuiVideo();
-  ~GuiVideo();
+  virtual ~GuiVideo();
 
  private: