diff --git a/platform/platform-resources-en/src/messages/IdeBundle.properties b/platform/platform-resources-en/src/messages/IdeBundle.properties index 4c2dc5defe14..ac42dd7a1de7 100644 --- a/platform/platform-resources-en/src/messages/IdeBundle.properties +++ b/platform/platform-resources-en/src/messages/IdeBundle.properties @@ -943,7 +943,7 @@ scope.unable.to.save.scope.message=Do you want to save scope as shared? scope.unable.to.save.scope.title=Unable to use local scope predefined.scope.production.name=Production plugin.manager.dependencies.detected.title=Plugin Dependencies Detected -plugin.manager.dependencies.detected.message=The plugin you want to install requires other plugin{0, choice, 1#|2#s} ({1}) which have to be installed as well. +plugin.manager.dependencies.detected.message=The plugin you want to install requires other plugin{0, choice, 1#|2#s} ({1}) which have to be installed as well. Proceed? plugin.manager.optional.dependencies.detected.message=The plugin you want to install optionally requires other plugin{0, choice, 1#|2#s} ({1}). Should those be installed as well? message.server.no.licenses=No suitable licenses left on the license server title.server.no.licenses=No Licenses on Server