Searched refs:setElementsUpdating (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DBackUpdateEvent.java46 setElementsUpdating(elementsUpdating);
H A DForwardUpdateEvent.java46 setElementsUpdating(elementsUpdating);
H A DUpdateEvent.java81 protected void setElementsUpdating(List elementsUpdating) method in class:UpdateEvent

Completed in 69 milliseconds