Révision 2379

tmp/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/EditionPanel.java (revision 2379)
1 1
package org.txm.edition.rcp.editors;
2 2

  
3 3
import java.io.File;
4
import java.io.IOException;
5 4
import java.net.URL;
6 5
import java.util.ArrayList;
7 6
import java.util.Arrays;
......
9 8
import java.util.HashMap;
10 9
import java.util.HashSet;
11 10
import java.util.List;
12
import java.util.Set;
13 11
import java.util.logging.Level;
14 12

  
15 13
import org.eclipse.core.runtime.FileLocator;
......
40 38
import org.txm.objects.Text;
41 39
import org.txm.rcp.StatusLine;
42 40
import org.txm.rcp.utils.IOClipboard;
43
import org.txm.searchengine.cqp.clientExceptions.CqiClientException;
44
import org.txm.searchengine.cqp.serverException.CqiServerError;
45 41
import org.txm.utils.io.IOUtils;
46 42
import org.txm.utils.logger.Log;
47 43

  
......
698 694
		try {
699 695
			id = this.synopticEditionEditor.getCorpus().getCorpusTextIdsList()[0];
700 696
		} catch (Exception e) {
701
			// TODO Auto-generated catch block
702
			e.printStackTrace();
697
			Log.printStackTrace(e);
703 698
			return;
704 699
		}
705 700
		Text firstText = project.getText(id);
......
733 728
			String[] ids = this.synopticEditionEditor.getCorpus().getCorpusTextIdsList();
734 729
			id = ids[ids.length-1];
735 730
		} catch (Exception e) {
736
			// TODO Auto-generated catch block
737
			e.printStackTrace();
731
			Log.printStackTrace(e);
738 732
			return;
739 733
		}
740 734
		Text lastText = project.getText(id);
......
793 787
			Edition tmp = previousText.getEdition(editionName);
794 788
			if (tmp == null) {
795 789
				System.out.println(EditionUIMessages.bind(EditionUIMessages.noEditionWithNameEqualsP0AvailableForTextEqualsP1, editionName, previousText.getName()));
790
				return;
796 791
			}
797 792
			currentEdition = tmp;
798 793
			currentText = previousText;
......
905 900
	 * @return the string
906 901
	 */
907 902
	public String makePageLabel() {
908
		return currentPage.getName()
909
				+ " / " + currentPage.getEdition().getNumPages(); //$NON-NLS-1$
903
		return currentPage.getName() + " / " + currentPage.getEdition().getNumPages(); //$NON-NLS-1$
910 904
	}
911 905

  
912 906
	/**
......
956 950
		return ((String) evaluate(SCRIPT01));
957 951
	}
958 952

  
953
	/**
954
	 * 
955
	 * @return array of 2 word id, if only one word is selected 2nd value is null
956
	 */
959 957
	public String[] getWordSelection() {
960 958

  
961 959
		//System.out.println("getWordSelection");

Formats disponibles : Unified diff