Mercurial > projects > dwt-addons
diff dwtx/jface/text/source/AnnotationPainter.d @ 157:7f75eaa8103a
volatile and cast Map.Entry
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Mon, 25 Aug 2008 19:06:44 +0200 |
parents | f70d9508c95c |
children | 25f1f92fa3df |
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationPainter.d Mon Aug 25 19:03:46 2008 +0200 +++ b/dwtx/jface/text/source/AnnotationPainter.d Mon Aug 25 19:06:44 2008 +0200 @@ -408,7 +408,7 @@ /** Indicates whether this painter is managing decorations */ private bool fIsPainting= false; /** Indicates whether this painter is setting its annotation model */ - private volatile bool fIsSettingModel= false; + private /+volatile+/ bool fIsSettingModel= false; /** The associated source viewer */ private ISourceViewer fSourceViewer; /** The cached widget of the source viewer */ @@ -631,7 +631,7 @@ Iterator iter= decorationsMap.entrySet().iterator(); while (iter.hasNext()) { - Map.Entry entry= (Map.Entry)iter.next(); + Map.Entry entry= cast(Map.Entry)iter.next(); Annotation annotation= cast(Annotation)entry.getKey(); Decoration decoration= cast(Decoration)entry.getValue(); drawDecoration(decoration, null, annotation, clippingRegion, document); @@ -1053,7 +1053,7 @@ for (int layer= 0, maxLayer= 1; layer < maxLayer; layer++) { for (Iterator iter= decorations.iterator(); iter.hasNext();) { - Map.Entry entry= (Map.Entry)iter.next(); + Map.Entry entry= cast(Map.Entry)iter.next(); Annotation a= cast(Annotation)entry.getKey(); if (a.isMarkedDeleted()) @@ -1433,7 +1433,7 @@ */ ArrayList toBeDrawn= new ArrayList(10); for (Iterator e = decorations.iterator(); e.hasNext();) { - Map.Entry entry= (Map.Entry)e.next(); + Map.Entry entry= cast(Map.Entry)e.next(); Annotation a= cast(Annotation)entry.getKey(); Decoration pp = cast(Decoration)entry.getValue(); @@ -1449,7 +1449,7 @@ for (Iterator it= toBeDrawn.iterator(); it.hasNext();) { List layer= cast(List) it.next(); for (Iterator e = layer.iterator(); e.hasNext();) { - Map.Entry entry= (Map.Entry)e.next(); + Map.Entry entry= cast(Map.Entry)e.next(); Annotation a= cast(Annotation)entry.getKey(); Decoration pp = cast(Decoration)entry.getValue(); drawDecoration(pp, gc, a, clippingRegion, document);