comparison dwtx/jface/text/source/projection/ProjectionAnnotationModel.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children f70d9508c95c
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
59 * annotation model change event is sent out. 59 * annotation model change event is sent out.
60 * 60 *
61 * @param annotation the annotation 61 * @param annotation the annotation
62 */ 62 */
63 public void collapse(Annotation annotation) { 63 public void collapse(Annotation annotation) {
64 if (annotation instanceof ProjectionAnnotation) { 64 if ( cast(ProjectionAnnotation)annotation ) {
65 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation; 65 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
66 if (!projection.isCollapsed()) { 66 if (!projection.isCollapsed()) {
67 projection.markCollapsed(); 67 projection.markCollapsed();
68 modifyAnnotation(projection, true); 68 modifyAnnotation(projection, true);
69 } 69 }
75 * annotation model change event is sent out. 75 * annotation model change event is sent out.
76 * 76 *
77 * @param annotation the annotation 77 * @param annotation the annotation
78 */ 78 */
79 public void expand(Annotation annotation) { 79 public void expand(Annotation annotation) {
80 if (annotation instanceof ProjectionAnnotation) { 80 if ( cast(ProjectionAnnotation)annotation ) {
81 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation; 81 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
82 if (projection.isCollapsed()) { 82 if (projection.isCollapsed()) {
83 projection.markExpanded(); 83 projection.markExpanded();
84 modifyAnnotation(projection, true); 84 modifyAnnotation(projection, true);
85 } 85 }
91 * annotation model change event is sent out. 91 * annotation model change event is sent out.
92 * 92 *
93 * @param annotation the annotation 93 * @param annotation the annotation
94 */ 94 */
95 public void toggleExpansionState(Annotation annotation) { 95 public void toggleExpansionState(Annotation annotation) {
96 if (annotation instanceof ProjectionAnnotation) { 96 if ( cast(ProjectionAnnotation)annotation ) {
97 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation; 97 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
98 98
99 if (projection.isCollapsed()) 99 if (projection.isCollapsed())
100 projection.markExpanded(); 100 projection.markExpanded();
101 else 101 else