Searched refs:ForwardUpdateEvent (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
H A D | ForwardUpdateEvent.java | 29 public class ForwardUpdateEvent extends UpdateEvent class in inherits:UpdateEvent 37 return(new ForwardUpdateEvent(viewableName, interestSpecName, 41 private ForwardUpdateEvent(String viewableName, String interestSpecName, method in class:ForwardUpdateEvent
|
H A D | UpdateEvent.java | 42 return(ForwardUpdateEvent.parseFromCompoundTerm(term));
|
H A D | ViewletImpl.java | 95 if(updateEvent instanceof ForwardUpdateEvent)
|
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/ |
H A D | FadeViewletType.java | 178 setUpdating(viewer, store, range,((updateEvent instanceof ForwardUpdateEvent)?MAX_FADE:-MAX_FADE));
|
H A D | TextViewletType.java | 252 setUpdating(viewer, store, range,((updateEvent instanceof ForwardUpdateEvent)?MAX_FADE:-MAX_FADE));
|
Completed in 33 milliseconds