diff options
| author | Lars Vogel | 2019-09-27 16:08:41 +0000 |
|---|---|---|
| committer | Lars Vogel | 2019-09-30 08:23:29 +0000 |
| commit | 4fd8a98b081e749d9ab79d3f4fee08c45e37ac5f (patch) | |
| tree | 6547ef4d0bd6980e45e201c1351cdc3a8ab2e41c | |
| parent | 19eaec0e3e2ddff129fe0d804aafeb2f456c6083 (diff) | |
| download | eclipse.pde.ui-4fd8a98b081e749d9ab79d3f4fee08c45e37ac5f.tar.gz eclipse.pde.ui-4fd8a98b081e749d9ab79d3f4fee08c45e37ac5f.tar.xz eclipse.pde.ui-4fd8a98b081e749d9ab79d3f4fee08c45e37ac5f.zip | |
Bug 551538 - Shorter text for "Could not launch"
Change-Id: I772748ad8cf1cea92d3df24b200346c537b2ca64
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
| -rw-r--r-- | ui/org.eclipse.pde.launching/src/org/eclipse/pde/internal/launching/pderesources.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ui/org.eclipse.pde.launching/src/org/eclipse/pde/internal/launching/pderesources.properties b/ui/org.eclipse.pde.launching/src/org/eclipse/pde/internal/launching/pderesources.properties index a1a65c05b8..5ffab5578d 100644 --- a/ui/org.eclipse.pde.launching/src/org/eclipse/pde/internal/launching/pderesources.properties +++ b/ui/org.eclipse.pde.launching/src/org/eclipse/pde/internal/launching/pderesources.properties @@ -12,7 +12,7 @@ # EclipseSource Corporation - initial API and implementation ############################################################################### -LauncherUtils_cannotLaunchApplication=Could not launch the application because the associated workspace is currently in use by another Eclipse application.\n\n{0} +LauncherUtils_cannotLaunchApplication=Could not launch as the workspace is used by another Eclipse application.\n\n{0} Launcher_error_code13=The application could not start. Details can be found in the log. Launcher_error_code15=Could not launch the configuration because the associated workspace is currently in use. |