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

/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DFadeViewletType.java47 public static final int MAX_FADE = 10; field in class:FadeViewletType
54 fadeColorSupport = new FadeColorSupport(MAX_FADE, new Color(0,255,0), new Color(255,0,0));
178 setUpdating(viewer, store, range,((updateEvent instanceof ForwardUpdateEvent)?MAX_FADE:-MAX_FADE));
H A DTextViewletType.java46 public static final int MAX_FADE = 10; field in class:TextViewletType
53 fadeColorSupport = new FadeColorSupport(MAX_FADE, new Color(0,255,0), new Color(255,0,0));
252 setUpdating(viewer, store, range,((updateEvent instanceof ForwardUpdateEvent)?MAX_FADE:-MAX_FADE));
H A DGrappaTextViewletType.java73 new FadeColorSupport(MAX_FADE, new Color(0,255,0), new Color(255,0,0), new Color(0,0,0));

Completed in 83 milliseconds