Use *wxTopLevelWindowGTK*RequestUserAttention*; because *int* isn't the case always...

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@34980 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

diff --git a/version-script.in b/version-script.in
index 21da1af9c6a40bc16cabed20f4e0e5882a225d5b..b04b273fad4d342b377a9b11d455575bc5bbe325 100644 (file)
--- 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*;