From e0bb49d564a100512e890c1adbbf33fe9a9549ab Mon Sep 17 00:00:00 2001 From: Aleksey Pivovarov Date: Thu, 17 Mar 2016 16:02:44 +0300 Subject: [PATCH] diff: better name for diff/merge group in keymap settings ampersand escaping is a bit strange: mnemonics are parsed twice - in BundleBase.replaceMnemonicAmpersand() and in Presentation.setText(). First one should be escaped with slash, the second one - with repetion. --- platform/platform-resources/src/idea/PlatformActions.xml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/platform/platform-resources/src/idea/PlatformActions.xml b/platform/platform-resources/src/idea/PlatformActions.xml index bbfaf69ee0ca..093fc9359eae 100644 --- a/platform/platform-resources/src/idea/PlatformActions.xml +++ b/platform/platform-resources/src/idea/PlatformActions.xml @@ -159,7 +159,7 @@ - + @@ -172,12 +172,14 @@ + +