Révision 3688
| TXM/trunk/bundles/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/SearchEditionToolbar.java (revision 3688) | ||
|---|---|---|
| 47 | 47 |
|
| 48 | 48 |
private NewNavigationWidget searchNavigation; |
| 49 | 49 |
|
| 50 |
|
|
| 51 |
|
|
| 52 | 50 |
Composite lowerControlsArea; |
| 53 | 51 |
|
| 54 | 52 |
CQPCorpus mcorpus; |
| ... | ... | |
| 306 | 304 |
foundWordids = CQPSearchEngine.getEngine().getValuesForProperty(positions, mcorpus.getProperty("id"));
|
| 307 | 305 |
if (foundWordids.size() == 0) return; |
| 308 | 306 |
|
| 309 |
editor.getEditionPanel(0).backToText(editor.getResult().getProject().getText(text), foundWordids.get(0));
|
|
| 307 |
editor.backToText(editor.getResult().getProject().getText(text), foundWordids.get(0)); |
|
| 310 | 308 |
editor.addHighlightWordsById(BackToText.lightred, foundWordids); |
| 311 | 309 |
editor.setFocusedWordID(foundWordids.get(0)); |
| 312 | 310 |
editor.updateWordStyles(); |
Formats disponibles : Unified diff