MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[plugins] property fixed

Browse Source 
GitOrigin-RevId: a175d0ba74f35fd5a883e055ed2a6232162481bf
This commit is contained in:
Andrew Kozlov
2022-08-24 18:18:52 +00:00
committed by intellij-monorepo-bot
parent 99780112d8
commit d60901e207
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/resources/messages/IdeBundle.properties
+1 -1
View File
@@ -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