/** */ protected void documentTypeChanged() { if (this.refresh) return; // unlike 'resfresh', 'reinitialize' finishes loop // and flushes remaining notification que before // actually reinitializing. // ISSUE: should reinit be used instead of handlerefresh? // this.setReinitializeNeeded(true); if (this.active != null || getModelNotifier().isChanging()) return; // defer handleRefresh(); }
/** */ private void handleRefresh() { if (!this.refresh) return; XMLModelNotifier notifier = getModelNotifier(); boolean isChanging = notifier.isChanging(); if (!isChanging) notifier.beginChanging(true); XMLModelParser parser = getModelParser(); setActive(parser); this.document.removeChildNodes(); try { parser.replaceStructuredDocumentRegions(getStructuredDocument().getRegionList(), null); } catch (Exception ex) { Logger.logException(ex); } finally { setActive(null); if (!isChanging) notifier.endChanging(); this.refresh = false; } }
boolean isChanging = notifier.isChanging(); if (!isChanging) notifier.beginChanging();
boolean isChanging = notifier.isChanging(); if (!isChanging) notifier.beginChanging();
boolean isChanging = notifier.isChanging(); if (!isChanging) notifier.beginChanging();
boolean isChanging = notifier.isChanging();