mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
wording
This commit is contained in:
@@ -568,7 +568,7 @@ public class InstalledPluginsTableModel extends PluginTableModel {
|
||||
if (wasUpdated) {
|
||||
myPanel.setToolTipText("Plugin was updated to the newest version. Changes will be available after restart");
|
||||
} else {
|
||||
myPanel.setToolTipText("Plugin would be activated after restart.");
|
||||
myPanel.setToolTipText("Plugin will be activated after restart.");
|
||||
}
|
||||
}
|
||||
myBundledLabel.setForeground(grayedFg);
|
||||
|
||||
+1
-1
@@ -329,7 +329,7 @@ public class PluginDownloader {
|
||||
|
||||
if (fileName == null || !PathUtil.isValidFileName(fileName)) {
|
||||
FileUtil.delete(file);
|
||||
throw new IOException("Invalid filename returned by a server");
|
||||
throw new IOException("Invalid filename returned by the server");
|
||||
}
|
||||
|
||||
return fileName;
|
||||
|
||||
Reference in New Issue
Block a user