Révision 3242
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/messages/messages.properties (revision 3242) | ||
|---|---|---|
| 646 | 646 |
|
| 647 | 647 |
loadingTheP0BinaryCorpusAsATXM079Corpus = Loading the {0} binary corpus as a TXM 0.7.9 corpus...
|
| 648 | 648 |
|
| 649 |
theP0BinaryCorpusVersionIsP1=The {0} binary corpus version is {1}.
|
|
| 649 |
theP0BinaryCorpusVersionIsP1=The {0} binary corpus format is {1}.
|
|
| 650 | 650 |
|
| 651 | 651 |
loadingViews = Loading views |
| 652 | 652 |
|
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/messages/messages_fr.properties (revision 3242) | ||
|---|---|---|
| 610 | 610 |
|
| 611 | 611 |
loadingTheCorpusInThePlatform = Chargement du corpus dans la plateforme... |
| 612 | 612 |
|
| 613 |
theP0BinaryCorpusVersionIsP1=La version du corpus binaire {0} est {1}.
|
|
| 613 |
theP0BinaryCorpusVersionIsP1=Le corpus binaire {0} est au format {1}.
|
|
| 614 | 614 |
|
| 615 | 615 |
loadingViews = Chargement des vues |
| 616 | 616 |
|
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/swt/widget/NewNavigationWidget.java (revision 3242) | ||
|---|---|---|
| 156 | 156 |
// [current] |
| 157 | 157 |
currentPositionText = new Text(this, SWT.BORDER); |
| 158 | 158 |
GridData currentPositionLayoutData = new GridData(GridData.VERTICAL_ALIGN_CENTER, SWT.CENTER, true, false); |
| 159 |
currentPositionLayoutData.minimumWidth = currentPositionLayoutData.widthHint = 50; |
|
| 159 | 160 |
currentPositionText.setLayoutData(currentPositionLayoutData); |
| 160 | 161 |
currentPositionText.setTextLimit(6); |
| 161 | 162 |
currentPositionText.setEditable(false); |
| ... | ... | |
| 415 | 416 |
/** |
| 416 | 417 |
* @param currentPosition the currentPosition to set |
| 417 | 418 |
*/ |
| 418 |
public void setCurrentPosition(int currentPosition) {
|
|
| 419 |
this.currentPosition = currentPosition + this.shift; |
|
| 419 |
public void setCurrentPosition(int newPosition) {
|
|
| 420 |
if (newPosition < 0) newPosition = 0; |
|
| 421 |
if (newPosition > maxPosition) newPosition = maxPosition; |
|
| 422 |
|
|
| 423 |
this.currentPosition = newPosition + this.shift; |
|
| 420 | 424 |
} |
| 421 | 425 |
|
| 422 | 426 |
|
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/swt/widget/AssistedChoiceQueryWidget.java (revision 3242) | ||
|---|---|---|
| 28 | 28 |
package org.txm.rcp.swt.widget; |
| 29 | 29 |
|
| 30 | 30 |
import java.util.ArrayList; |
| 31 |
import java.util.Arrays; |
|
| 32 | 31 |
import java.util.List; |
| 33 | 32 |
|
| 34 |
import org.eclipse.jface.viewers.ComboViewer; |
|
| 35 |
import org.eclipse.jface.viewers.ISelection; |
|
| 36 |
import org.eclipse.jface.viewers.ISelectionChangedListener; |
|
| 37 |
import org.eclipse.jface.viewers.LabelProvider; |
|
| 38 |
import org.eclipse.jface.viewers.SelectionChangedEvent; |
|
| 39 |
import org.eclipse.jface.viewers.StructuredSelection; |
|
| 40 | 33 |
import org.eclipse.jface.window.Window; |
| 41 | 34 |
import org.eclipse.swt.SWT; |
| 42 | 35 |
import org.eclipse.swt.events.KeyListener; |
| ... | ... | |
| 44 | 37 |
import org.eclipse.swt.events.SelectionListener; |
| 45 | 38 |
import org.eclipse.swt.layout.GridData; |
| 46 | 39 |
import org.eclipse.swt.widgets.Button; |
| 47 |
import org.eclipse.swt.widgets.Combo; |
|
| 48 | 40 |
import org.eclipse.swt.widgets.Composite; |
| 49 | 41 |
import org.eclipse.swt.widgets.Label; |
| 50 | 42 |
import org.txm.rcp.IImageKeys; |
| ... | ... | |
| 52 | 44 |
import org.txm.rcp.swt.GLComposite; |
| 53 | 45 |
import org.txm.rcp.swt.dialog.ComboDialog; |
| 54 | 46 |
import org.txm.rcp.swt.dialog.QueryAssistDialog; |
| 55 |
import org.txm.rcp.swt.provider.ListContentProvider; |
|
| 56 | 47 |
import org.txm.searchengine.core.IQuery; |
| 57 | 48 |
import org.txm.searchengine.core.SearchEngine; |
| 58 | 49 |
import org.txm.searchengine.core.SearchEnginePreferences; |
Formats disponibles : Unified diff