1
0
mirror of https://github.com/cookiengineer/audacity synced 2025-06-29 14:48:39 +02:00

Comment a recent fix

This commit is contained in:
Paul Licameli 2017-07-22 15:41:07 -04:00
parent 31be794906
commit 0feda0395e

View File

@ -18,7 +18,13 @@ wxString KeyStringNormalize(const wxString & key)
#if defined(__WXMAC__)
wxString newkey;
wxString temp = key;
// PRL: This is needed to parse older preference files.
temp.Replace(wxT("XCtrl+"), wxT("Control+"));
// PRL: RawCtrl is the proper replacement for Control, when formatting
// wxMenuItem, so that wxWidgets shows ^ in the menu. It is written into
// new preference files (2.2.0 and later).
temp.Replace(wxT("RawCtrl+"), wxT("Control+"));
temp.Replace(wxT("Ctrl+"), wxT("Command+"));