8485868788899091929394
if (myViewer != null) { myViewer.refresh(); } } }; myWorkspaceSynchronizer = new WorkspaceSynchronizer(editingDomain, new WorkspaceSynchronizer.Delegate() { public void dispose() { } public boolean handleResourceChanged(final Resource resource) {
7778798081828384858687
7475767778798081828384
938939940941942943944945
/** * @generated */ public final void startResourceListening() { mySynchronizer = new WorkspaceSynchronizer(getEditingDomain(), new SynchronizerDelegate()); }
947948949950951952953954
946947948949950951952953
8586878889909192939495
8283848586878889909192
8081828384858687888990