Some refresh optimizations.

[wxWidgets.git] / include / wx / gtk1 / minifram.h

diff --git a/include/wx/gtk1/minifram.h b/include/wx/gtk1/minifram.h
index 3747e49ffc31e14e48beeb37a5400d369f7032cc..f0edcd4b4d6ed320d839bd649b051332c3014c75 100644 (file)
--- a/include/wx/gtk1/minifram.h
+++ b/include/wx/gtk1/minifram.h
@@ -15,6 +15,9 @@
 #endif
 
 #include "wx/defs.h"
+
+#if wxUSE_MINIFRAME
+
 #include "wx/object.h"
 #include "wx/frame.h"
 
@@ -53,17 +56,14 @@ public:
             long style = wxDEFAULT_FRAME_STYLE | wxTINY_CAPTION_HORIZ,
             const wxString& name = wxFrameNameStr);
 
-    // implementation
+ // implementation
+ 
     bool   m_isDragging;
     int    m_oldX,m_oldY;
     int    m_diffX,m_diffY;
-
-    void DrawFrame( int x, int y );
-    void OnPaint( wxPaintEvent &event );
-    void OnMouse( wxMouseEvent &event );
-
-    DECLARE_EVENT_TABLE()
 };
 
+#endif
+
 #endif
   //  __GTKMINIFRAMEH__