7879808182838485868788
if (myViewer != null) { myViewer.refresh(); } } }; myWorkspaceSynchronizer = new WorkspaceSynchronizer(editingDomain, new WorkspaceSynchronizer.Delegate() { public void dispose() { } public boolean handleResourceChanged(final Resource resource) {
7172737475767778798081
939940941942943944945946
/** * @generated */ public final void startResourceListening() { mySynchronizer = new WorkspaceSynchronizer(getEditingDomain(), new SynchronizerDelegate()); }
923924925926927928929930
938939940941942943944945