Use proper format in wxGTK clipboard selection handler.

[wxWidgets.git] / include / wx / gtk / stattext.h

diff --git a/include/wx/gtk/stattext.h b/include/wx/gtk/stattext.h
index 78241efe298173fd328878ab2f5c29e66b15b422..f043e1ecfcbc2df0bfbf299e9106d4a22714b2f1 100644 (file)
--- a/include/wx/gtk/stattext.h
+++ b/include/wx/gtk/stattext.h
@@ -48,10 +48,6 @@ protected:
     virtual bool GTKWidgetNeedsMnemonic() const;
     virtual void GTKWidgetDoSetMnemonic(GtkWidget* w);
 
     virtual bool GTKWidgetNeedsMnemonic() const;
     virtual void GTKWidgetDoSetMnemonic(GtkWidget* w);
 

-    virtual void DoSetSize(int x, int y,
-                           int width, int height,
-                           int sizeFlags = wxSIZE_AUTO);
-

     virtual wxSize DoGetBestSize() const;
 
     virtual wxString DoGetLabel() const;
     virtual wxSize DoGetBestSize() const;
 
     virtual wxString DoGetLabel() const;