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