Révision 425
| tmp/org.txm.index.rcp/src/org/txm/index/rcp/editors/IndexEditor.java (revision 425) | ||
|---|---|---|
| 554 | 554 |
propsArea.addValueChangeListener(new Listener() {
|
| 555 | 555 |
@Override |
| 556 | 556 |
public void handleEvent(Event event) {
|
| 557 |
if (!initializing && TXMPreferences.getBoolean(RCPPreferences.PREFERENCES_NODE, RCPPreferences.AUTO_UPDATE_EDITOR))
|
|
| 557 |
if (!initializing && TXMPreferences.getBoolean(RCPPreferences.AUTO_UPDATE_EDITOR, RCPPreferences.PREFERENCES_NODE))
|
|
| 558 | 558 |
computeResult(); |
| 559 | 559 |
} |
| 560 | 560 |
}); |
Formats disponibles : Unified diff