Révision 2233

tmp/org.txm.annotation.kr.rcp/src/org/txm/annotation/kr/rcp/commands/SaveAnnotations.java (revision 2233)
20 20 
import org.txm.rcp.TXMWindows;
21 21 
import org.txm.rcp.commands.CloseEditorsUsing;
22 22 
import org.txm.rcp.commands.workspace.UpdateCorpus;
23 
import org.txm.rcp.editors.ITXMResultEditor;
23 24 
import org.txm.rcp.editors.TXMEditor;
24 25 
import org.txm.rcp.messages.TXMUIMessages;
25 26 
import org.txm.rcp.utils.JobHandler;
......
88 89 
				this.runInit(monitor);
89 90 
				try {
90 91
91 
					ArrayList<TXMEditor> editors = SWTEditorsUtils.getEditors() ;
92 
					ArrayList<ITXMResultEditor<?>> editors = SWTEditorsUtils.getEditors() ;
92 93 
					monitor.beginTask("Closing editors", editors.size());
93 
					for (TXMEditor editor : editors) {
94 
					for (ITXMResultEditor<?> editor : editors) {
94 95 
						TXMResult result = editor.getResult();
95 96 
						if (corpus.equals(result.getFirstParent(MainCorpus.class))) {
96 97 
							editor.close();

Formats disponibles : Unified diff