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