Attachment 1931 Details for Bug 2373 – Patch for 2373

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Patch for 2373

2373_patch.txt (text/plain), 1.10 KB, created by Andrew Irvine

on 2002-09-05 10:09:22 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Andrew Irvine

Created: 2002-09-05 10:09:22 EDT

Size: 1.10 KB

patch

obsolete

>Index: WorkbenchWindow.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.ui/Eclipse UI/org/eclipse/ui/internal/WorkbenchWindow.java,v
>retrieving revision 1.62
>diff -u -r1.62 WorkbenchWindow.java
>--- WorkbenchWindow.java	9 Aug 2002 20:45:38 -0000	1.62
>+++ WorkbenchWindow.java	5 Sep 2002 14:06:53 -0000
>@@ -230,19 +230,11 @@
> 	builder.buildActions(this);
> 	
> 	// include the workspace location in the title 
>-	// if it is NOT the default location and the command line
>-	// option -showlocation is specified
>+	// if the command line option -showlocation is specified
> 	String[] args = Platform.getCommandLineArgs();
>-	boolean show = false;
>-	String location = null;
> 	for (int i = 0; i < args.length; i++) {
> 		if ("-showlocation".equals(args[i])) { //$NON-NLS-1$
>-			show = true;
>-		} else if ("-data".equals(args[i])) { //$NON-NLS-1$
>-			location = Platform.getLocation().toOSString();
>-		}
>-		if (show && location != null) {
>-			workspaceLocation = location;
>+			workspaceLocation = Platform.getLocation().toOSString();
> 			break;
> 		}
> 	}

Actions: View | Diff

Attachments on bug 2373: 1931