void scopeChanged(ISynchronizationScope scope, ResourceMapping mappings, ResourceTraversal traversals)
Clients can use the following rules to interpret the change:
scope- the scope that has changed
mappings- the new mappings or removed mappings (may be empty)
traversals- the new traversals or removed traversals (may be empty)
Copyright (c) 2000, 2018 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.