Révision 3227
| tmp/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/EditionPanel.java (revision 3227) | ||
|---|---|---|
| 731 | 731 |
else {
|
| 732 | 732 |
openedPage = edition.getFirstPage(); |
| 733 | 733 |
} |
| 734 |
if (openedPage != null && openedPage != currentPage) {
|
|
| 734 |
if (openedPage == null || !openedPage.equals(currentPage)) {
|
|
| 735 | 735 |
this.showPage(openedPage); |
| 736 | 736 |
return true; |
| 737 | 737 |
} |
Formats disponibles : Unified diff