Fix scrolling bug where client size was reported wrong

[wxWidgets.git] / include / wx / x11 / app.h

diff --git a/include/wx/x11/app.h b/include/wx/x11/app.h
index 5fedad11f9653097e3ad59e2d9db8b8155ca2922..416a3e2ae3d43e57188cf365e5a01751aa7237e9 100644 (file)
--- a/include/wx/x11/app.h
+++ b/include/wx/x11/app.h
@@ -12,10 +12,6 @@
 #ifndef _WX_APP_H_
 #define _WX_APP_H_
 
-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-#pragma interface "app.h"
-#endif
-
 // ----------------------------------------------------------------------------
 // headers
 // ----------------------------------------------------------------------------
@@ -44,17 +40,11 @@ class WXDLLEXPORT wxApp : public wxAppBase
 
 public:
     wxApp();
-    ~wxApp();
+    virtual ~wxApp();
 
     // override base class (pure) virtuals
     // -----------------------------------
 
-    virtual int MainLoop();
-    virtual void ExitMainLoop();
-    virtual bool Initialized();
-    virtual bool Pending();
-    virtual bool Dispatch();
-
     virtual void Exit();
 
     virtual bool Yield(bool onlyIfNeeded = FALSE);