Révision 2487
tmp/org.txm.backtomedia.rcp/src/org/txm/backtomedia/commands/function/BackToMedia.java (revision 2487) | ||
---|---|---|
176 | 176 |
EditionPanel panel = editor.getEditionPanel(0); |
177 | 177 |
String[] ids = panel.getWordSelection(); |
178 | 178 |
// System.out.println("Words: "+Arrays.toString(ids)); |
179 |
if (ids[1] == null) { // only one word is selected -> using sync_mode preferences |
|
179 |
if (ids == null || ids[0] == null) { |
|
180 |
// no word detected or selected |
|
181 |
return null; |
|
182 |
} |
|
183 |
else if (ids[1] == null) { // only one word is selected -> using sync_mode preferences |
|
180 | 184 |
try { |
181 | 185 |
return backtoMediaFromWordSelection(cqpCorpus, text.getName(), ids, editor, HandlerUtil.getActiveWorkbenchWindow(event).getShell()); |
182 | 186 |
} |
Formats disponibles : Unified diff