mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
window title for downloading plugins #IDEA-156312 fixed
This commit is contained in:
@@ -541,7 +541,7 @@ prompt.uninstall.plugin=Do you really want to uninstall plugin ''{0}''?
|
||||
prompt.uninstall.several.plugins=Do you really want to uninstall these {0} plugins ?
|
||||
title.plugin.uninstall=Plugin Uninstall
|
||||
progress.downloading.list.of.plugins=Downloading list of plugins from {0}
|
||||
progress.download.plugins=Download Plugins
|
||||
progress.download.plugins=Downloading Plugins
|
||||
button.http.proxy.settings=&HTTP Proxy Settings...
|
||||
group.vendor=Vendor
|
||||
plugin.status.installed=Installed
|
||||
|
||||
@@ -7306,7 +7306,7 @@ prompt.uninstall.plugin=Do you really want to uninstall plugin ''{0}''?
|
||||
prompt.uninstall.several.plugins=Do you really want to uninstall these {0} plugins ?
|
||||
title.plugin.uninstall=Plugin Uninstall
|
||||
progress.downloading.list.of.plugins=Downloading List of Plugins
|
||||
progress.download.plugins=Download Plugins
|
||||
progress.download.plugins=Downloading Plugins
|
||||
button.http.proxy.settings=&HTTP Proxy Settings...
|
||||
group.vendor=Vendor
|
||||
plugin.status.installed=Installed
|
||||
@@ -22794,7 +22794,7 @@ prompt.uninstall.plugin=Do you really want to uninstall plugin ''{0}''?
|
||||
prompt.uninstall.several.plugins=Do you really want to uninstall these {0} plugins ?
|
||||
title.plugin.uninstall=Plugin Uninstall
|
||||
progress.downloading.list.of.plugins=Downloading List of Plugins
|
||||
progress.download.plugins=Download Plugins
|
||||
progress.download.plugins=Downloading Plugins
|
||||
button.http.proxy.settings=&HTTP Proxy Settings...
|
||||
group.vendor=Vendor
|
||||
plugin.status.installed=Installed
|
||||
|
||||
Reference in New Issue
Block a user