diff --git a/platform/platform-api/resources/messages/IdeBundle.properties b/platform/platform-api/resources/messages/IdeBundle.properties index bb74f925532d..a862f1022180 100644 --- a/platform/platform-api/resources/messages/IdeBundle.properties +++ b/platform/platform-api/resources/messages/IdeBundle.properties @@ -834,7 +834,7 @@ plugin.manager.installed.tooltip=Plugin will be activated after restart plugin.manager.updated.tooltip=Plugin was updated to the newest version; changes will be applied on restart plugin.manager.new.version.tooltip=Update installed plugin from version {0} plugin.manager.update.available.tooltip=A newer version of the plugin is available -plugin.manager.on.demand.plugin.not.loaded=On demand plugin is not loaded by default +plugin.manager.on.demand.plugin.not.loaded=On-demand plugin is not loaded by default new.plugin.manager.incompatible.deps.tooltip=Not loaded. The required {0, choice, 1#plugin|2#plugins} {1} {0, choice, 1#is|2#are} disabled. new.plugin.manager.incompatible.deps.action=Enable required {0, choice, 1#plugin|2#plugins} plugin.manager.incompatible.tooltip=Plugin is incompatible with current {0} installation