Mercurial > projects > dwt-addons

diff dwtx/jface/text/source/projection/ProjectionAnnotationModel.d @ 134:51e6e63f930e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children b6bad70d540a
line wrap: on
line diff
--- a/dwtx/jface/text/source/projection/ProjectionAnnotationModel.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionAnnotationModel.d	Sun Aug 24 01:46:20 2008 +0200
@@ -62,7 +62,7 @@
      */
     public void collapse(Annotation annotation) {
         if (annotation instanceof ProjectionAnnotation) {
-            ProjectionAnnotation projection= (ProjectionAnnotation) annotation;
+            ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
             if (!projection.isCollapsed()) {
                 projection.markCollapsed();
                 modifyAnnotation(projection, true);
@@ -78,7 +78,7 @@
      */
     public void expand(Annotation annotation) {
         if (annotation instanceof ProjectionAnnotation) {
-            ProjectionAnnotation projection= (ProjectionAnnotation) annotation;
+            ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
             if (projection.isCollapsed()) {
                 projection.markExpanded();
                 modifyAnnotation(projection, true);
@@ -94,7 +94,7 @@
      */
     public void toggleExpansionState(Annotation annotation) {
         if (annotation instanceof ProjectionAnnotation) {
-            ProjectionAnnotation projection= (ProjectionAnnotation) annotation;
+            ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
 
             if (projection.isCollapsed())
                 projection.markExpanded();
@@ -131,7 +131,7 @@
 
         Iterator iterator= getAnnotationIterator();
         while (iterator.hasNext()) {
-            ProjectionAnnotation annotation= (ProjectionAnnotation) iterator.next();
+            ProjectionAnnotation annotation= cast(ProjectionAnnotation) iterator.next();
             if (!annotation.isCollapsed()) {
                 Position position= getPosition(annotation);
                 if (position !is null && position.overlapsWith(offset, length) /* || is a delete at the boundary */ ) {
@@ -164,7 +164,7 @@
 
         Iterator iterator= getAnnotationIterator();
         while (iterator.hasNext()) {
-            ProjectionAnnotation annotation= (ProjectionAnnotation) iterator.next();
+            ProjectionAnnotation annotation= cast(ProjectionAnnotation) iterator.next();
             if (annotation.isCollapsed()) {
                 Position position= getPosition(annotation);
                 if (position !is null && position.overlapsWith(offset, length) /* || is a delete at the boundary */ ) {