Revision 800

tmp/org.txm.rcp/src/main/java/org/txm/rcp/views/debug/TXMEditorSWTDebugView.java (revision 800)
147 147
					return s;
148 148
				} else if (element instanceof Control) {
149 149
					Control c = (Control)element;
150
					String s = c.toString();
150
					String s = c.toString()+" ("+c.getToolTipText()+")";
151 151
					if (isHighlighted(c)) s += "*";
152 152
					return s;
153 153
				}
......
205 205
	public void partBroughtToTop(IWorkbenchPart part) { }
206 206

  
207 207
	@Override
208
	public void partClosed(IWorkbenchPart part) {treeViewer.setInput(null);}
208
	public void partClosed(IWorkbenchPart part) {
209
		if (!treeViewer.getTree().isDisposed()) {
210
			treeViewer.setInput(null);
211
		}
212
	}
209 213

  
210 214
	@Override
211 215
	public void partDeactivated(IWorkbenchPart part) { }
tmp/org.txm.core/src/java/org/txm/objects/Workspace.java (revision 800)
131 131
			
132 132
			File redistDirectory = new File(installDirectory, "redist");
133 133
			if (!redistDirectory.exists()) {
134
				System.out.println("Error: Workspace cannot found redist directory: "+redistDirectory.getAbsolutePath());
135
				return null;
134
				System.out.println("Warning: Workspace cannot found redist directory: "+redistDirectory.getAbsolutePath());
135
			} else {
136
				FileCopy.copyFiles(redistDirectory, txmhomedir);
136 137
			}
137
			
138
			FileCopy.copyFiles(redistDirectory, txmhomedir);
139 138

  
140 139
//			// the folders to copy from TXM install dir
141 140
//			BundleUtils.copyFiles("org.txm.core", "res", "org/txm/xml", "xsl", txmhomedir);
tmp/org.txm.information.rcp/src/org/txm/properties/rcp/editors/PropertiesEditor.java (revision 800)
79 79
		this.maxPropertiesToDisplay.setLayoutData(gdata);
80 80
		this.maxPropertiesToDisplay.addSelectionListener(new ComputeSelectionListener(this));
81 81

  
82
		Group editComposite = this.getTopToolbar().installGroup("edit", "edit properties", null, null, true);
82
		Group editComposite = this.getTopToolbar().installGroup("edit", "edit properties", null, null, false);
83 83
		editComposite.setLayout(GLComposite.createDefaultLayout(3));
84 84
		
85 85
		Label nameLabel = new Label(editComposite, SWT.NONE);

Also available in: Unified diff