Révision 2363
| tmp/org.txm.backtomedia.rcp/src/org/txm/backtomedia/commands/function/BackToMedia.java (revision 2363) | ||
|---|---|---|
| 371 | 371 |
// move the editor in the window |
| 372 | 372 |
int position = BackToMediaPreferences.getInstance().getInt(BackToMediaPreferences.BACKTOMEDIA_POSITION); |
| 373 | 373 |
if (editor != null) {
|
| 374 |
SWTEditorsUtils.addEditor(vlcEditor, (EditorPart) editor, position);
|
|
| 374 |
SWTEditorsUtils.addEditor((EditorPart) editor, vlcEditor, position);
|
|
| 375 | 375 |
} |
| 376 | 376 |
|
| 377 | 377 |
VLCPlayer player = vlcEditor.getPlayer(); |
| tmp/org.txm.backtomedia.rcp/src/org/txm/backtomedia/preferences/BackToMediaPreferencePage.java (revision 2363) | ||
|---|---|---|
| 110 | 110 |
addField(useWordProperty); |
| 111 | 111 |
|
| 112 | 112 |
String[][] values = {{"ABOVE", ""+EModelService.ABOVE}, {"BELOW", ""+EModelService.BELOW}, {"LEFT_OF", ""+EModelService.LEFT_OF}, {"RIGHT_OF", ""+EModelService.RIGHT_OF}};
|
| 113 |
backtotext_position = new ComboFieldEditor(BackToMediaPreferences.BACKTOMEDIA_POSITION, "new editor position", values, getFieldEditorParent());
|
|
| 113 |
backtotext_position = new ComboFieldEditor(BackToMediaPreferences.BACKTOMEDIA_POSITION, "BackToMedia position", values, getFieldEditorParent());
|
|
| 114 | 114 |
addField(backtotext_position); |
| 115 | 115 |
|
| 116 | 116 |
spanGroup = new Group(getFieldEditorParent(), SWT.NONE); |
Formats disponibles : Unified diff