Searched defs:fireViewletRangeUpdated (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ | ||
H A D | ViewletDataStore.java | 122 public void fireViewletRangeUpdated(ViewletRange range); method in interface:ViewletDataStore |
H A D | WrappedMultiViewletDataStore.java | 173 public void fireViewletRangeUpdated(ViewletRange range) { method in class:WrappedMultiViewletDataStore |
H A D | AbstractViewletDataStore.java | 325 public void fireViewletRangeUpdated(ViewletRange range) { method in class:AbstractViewletDataStore |
Completed in 28 milliseconds