Révision 3596
| TXM/trunk/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/EditionPanel.java (revision 3596) | ||
|---|---|---|
| 360 | 360 |
// System.out.println("dispose listener called");
|
| 361 | 361 |
if (cmdLink != null) cmdLink.dispose(); |
| 362 | 362 |
if (editionLink != null) editionLink.dispose(); |
| 363 |
browser.dispose(); |
|
| 363 |
if (browser!= null && !browser.isDisposed()) browser.dispose();
|
|
| 364 | 364 |
} |
| 365 | 365 |
}); |
| 366 | 366 |
|
| ... | ... | |
| 1562 | 1562 |
}); |
| 1563 | 1563 |
|
| 1564 | 1564 |
MenuItem propertiesItem = new MenuItem(menu, SWT.NONE); |
| 1565 |
propertiesItem.setText("Properties");
|
|
| 1565 |
propertiesItem.setText("Page properties");
|
|
| 1566 | 1566 |
propertiesItem.addSelectionListener(new SelectionListener() {
|
| 1567 | 1567 |
|
| 1568 | 1568 |
@Override |
Formats disponibles : Unified diff