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

/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DFadeViewletType.java149 int fadeCount) {
166 viewletData.setFadeCount(fadeCount);
203 protected int fadeCount; field in class:FadeViewletType.Data
208 fadeCount = 0;
217 return fadeCount;
221 fadeCount = count;
227 * @return true iff the fadeCount changed
230 if (fadeCount == 0) {
233 if (fadeCount > 0) {
234 fadeCount
146 setUpdating(Viewer viewer, ViewletDataStore store, ViewletRange range, int fadeCount) argument
[all...]
H A DTextViewletType.java221 int fadeCount) {
238 viewletData.setFadeCount(fadeCount);
280 private int fadeCount; field in class:TextViewletType.Data
287 fadeCount = 0;
307 return fadeCount;
311 fadeCount = count;
325 * @return true iff the fadeCount changed
328 if (fadeCount == 0) {
331 if (fadeCount > 0) {
332 fadeCount
218 setUpdating(Viewer viewer, ViewletDataStore store, ViewletRange range, int fadeCount) argument
[all...]
H A DBoundsViewletType.java233 int fadeCount) {
250 //viewletData.setFadeCount(fadeCount);
230 setUpdating(Viewer viewer, ViewletDataStore store, ViewletRange range, int fadeCount) argument

Completed in 89 milliseconds