Révision 1129

tmp/org.txm.rcp/src/main/java/org/txm/rcp/views/corpora/TXMResultContentProvider.java (revision 1129)
37 37
import org.eclipse.jface.viewers.ITreeContentProvider;
38 38
import org.eclipse.jface.viewers.Viewer;
39 39
import org.eclipse.ui.model.IWorkbenchAdapter;
40
import org.txm.Toolbox;
41
import org.txm.core.preferences.TBXPreferences;
40 42
import org.txm.core.results.TXMResult;
41 43
import org.txm.objects.CorpusBuild;
42 44
import org.txm.objects.Project;
......
127 129
		//			//System.out.println("corpora view content: "+elements);
128 130
		//			return elements.toArray();
129 131
		//		} else 
130
		if (element instanceof Workspace) {
132
		if (element instanceof Workspace && !TBXPreferences.getInstance().getBoolean(TBXPreferences.SHOW_ALL_RESULT_NODES)) {
131 133
			Workspace w = (Workspace)element;
132 134
			ArrayList<CorpusBuild> corpora = new ArrayList<CorpusBuild>();
133 135
			for (Project p : w.getProjects()) {
134 136
				corpora.addAll(p.getCorpora());
135 137
			}
136 138
			return corpora.toArray();
137
		} else if (element instanceof TXMResult) {
139
		}
140
		else if (element instanceof TXMResult) {
138 141
			return ((TXMResult)element).getChildren().toArray();
139
		} else if (element instanceof List) {
142
		}
143
		else if (element instanceof List) {
140 144
			List list = (List)element;
141 145
			return list.toArray();
142 146
		}
tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 1129)
1761 1761
		}
1762 1762
		
1763 1763
		// Children cascade computing
1764
		if (deepComputing && !skipComputing) { // if the parent has been recomputed, recompute children
1764
		if (deepComputing && !skipComputing) {
1765 1765

  
1766 1766
			Log.finest("TXMResult.compute(): " + this.getClass().getSimpleName() + ": cascade computing of " + this.children.size() + " children.");
1767 1767

  
tmp/org.txm.core/src/java/org/txm/objects/Project.java (revision 1129)
181 181
		this.pName = name;
182 182
		this.dirty = false;
183 183
		this.hasBeenComputedOnce = true;
184

  
184
		this.setVisible(false);
185
		
185 186
		initRCPStuffs();
186 187
	}
187 188

  
......
196 197
		
197 198
		this.dirty = false;
198 199
		this.hasBeenComputedOnce = true;
200
		this.setVisible(false);
199 201
		//		
200 202
		//		this.setPath(project.getPath() + getName());
201 203
		//		params = parameters;

Formats disponibles : Unified diff