Use *wxTopLevelWindowGTK*RequestUserAttention*; because *int* isn't the case always in the name mangling

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@34980 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
2005-07-29 10:10:42 +00:00
parent 4a446b03dc
commit 0cc970b3db
1 changed files with 1 additions and 1 deletions
--- a/version-script.in
+++ b/version-script.in
@@ -22,7 +22,7 @@
        *wxMediaCtrl*ShowPlayerControls*wxMediaPlayerControls*;
        *wxMessageOutputBest*;
        *wxShadowObject*;
-        *wxTopLevelWindowGTK*RequestUserAttention*int*;
+        *wxTopLevelWindowGTK*RequestUserAttention*;
        *wxWizard*FinishLayout*;
        *wxXmlResource*ConvertFileNameToURL*wxString*;
        *wxXmlResource*IsArchive*wxString*;