From d60901e207fa4257cab7910c85bb4bac9d1ae0bd Mon Sep 17 00:00:00 2001 From: Andrew Kozlov Date: Wed, 24 Aug 2022 19:58:03 +0200 Subject: [PATCH] [plugins] property fixed GitOrigin-RevId: a175d0ba74f35fd5a883e055ed2a6232162481bf --- platform/platform-api/resources/messages/IdeBundle.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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