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