Attachment 59129 Details for Bug 173631 – Fixes the issue with Collapse Button when Identifier is changed

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

[patch] Fixes the issue with Collapse Button when Identifier is changed

patch_173631_2.txt (text/plain), 1.23 KB, created by Nalini V

on 2007-02-16 07:08:06 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Nalini V

Created: 2007-02-16 07:08:06 EST

Size: 1.23 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.tptp.wsdm.editor
>Index: src/org/eclipse/tptp/wsdm/tooling/editor/mrt/internal/MrtPrototypeForm.java
>===================================================================
>RCS file: /cvsroot/ganges/org.eclipse.tptp.wsdm.editor/src/org/eclipse/tptp/wsdm/tooling/editor/mrt/internal/MrtPrototypeForm.java,v
>retrieving revision 1.4
>diff -u -r1.4 MrtPrototypeForm.java
>--- src/org/eclipse/tptp/wsdm/tooling/editor/mrt/internal/MrtPrototypeForm.java	16 Feb 2007 11:23:16 -0000	1.4
>+++ src/org/eclipse/tptp/wsdm/tooling/editor/mrt/internal/MrtPrototypeForm.java	16 Feb 2007 12:05:28 -0000
>@@ -739,13 +739,16 @@
> 		 */
> 		_treeViewer.setInput(Arrays.asList(categories));
> 		_treeViewer.refresh();
>+		
>+		_expandAllButton.setEnabled(true);
>+		_collapseAllButton.setEnabled(false);
> 
> 		String mrtName = _mrt.getIdentifier();
>-		String mrtNamesapce = _mrt.getNamespace();
>+		String mrtNamespace = _mrt.getNamespace();
> 		if (!_textIdent.getText().equals(mrtName))
> 			_textIdent.setText(mrtName);
>-		if (!_textNs.getText().equals(mrtName))
>-			_textNs.setText(mrtNamesapce);
>+		if (!_textNs.getText().equals(mrtNamespace))
>+			_textNs.setText(mrtNamespace);
> 	}
> 
> 	private void addNewCapability(){

Actions: View | Diff

Attachments on bug 173631: 59124 | 59129