fix for hot keys in menu items (patch 1013082)

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

diff --git a/src/gtk/menu.cpp b/src/gtk/menu.cpp
index 5b29ede17789295999e2ba6e3346dbe316d711a0..83ba105c0095807db4616ea76ddeccc3f08f3a11 100644 (file)
--- a/src/gtk/menu.cpp
+++ b/src/gtk/menu.cpp
@@ -1375,7 +1375,7 @@ static wxString GetHotKey( const wxMenuItem& item )
             case WXK_F10:
             case WXK_F11:
             case WXK_F12:
-                hotkey << wxT('F') << code - WXK_F1 + 1;
+                hotkey += wxString::Format(wxT("F%d"), code - WXK_F1 + 1);
                 break;
 
                 // TODO: we should use gdk_keyval_name() (a.k.a.

diff --git a/src/gtk1/menu.cpp b/src/gtk1/menu.cpp
index 5b29ede17789295999e2ba6e3346dbe316d711a0..83ba105c0095807db4616ea76ddeccc3f08f3a11 100644 (file)
--- a/src/gtk1/menu.cpp
+++ b/src/gtk1/menu.cpp
@@ -1375,7 +1375,7 @@ static wxString GetHotKey( const wxMenuItem& item )
             case WXK_F10:
             case WXK_F11:
             case WXK_F12:
-                hotkey << wxT('F') << code - WXK_F1 + 1;
+                hotkey += wxString::Format(wxT("F%d"), code - WXK_F1 + 1);
                 break;
 
                 // TODO: we should use gdk_keyval_name() (a.k.a.