comparison dwtx/jface/text/source/AnnotationPainter.d @ 140:26688fec6d23

Following dsss compile errors
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 03:23:46 +0200
parents b6bad70d540a
children 16a71f577815
comparison
equal deleted inserted replaced
139:93a6ec48fd28 140:26688fec6d23
625 Iterator e; 625 Iterator e;
626 if (event is null || event.isWorldChange()) { 626 if (event is null || event.isWorldChange()) {
627 isWorldChange= true; 627 isWorldChange= true;
628 628
629 if (DEBUG && event is null) 629 if (DEBUG && event is null)
630 System.out.println("AP: INTERNAL CHANGE"); //$NON-NLS-1$ 630 System.out_.println("AP: INTERNAL CHANGE"); //$NON-NLS-1$
631 631
632 Iterator iter= decorationsMap.entrySet().iterator(); 632 Iterator iter= decorationsMap.entrySet().iterator();
633 while (iter.hasNext()) { 633 while (iter.hasNext()) {
634 Map.Entry entry= (Map.Entry)iter.next(); 634 Map.Entry entry= (Map.Entry)iter.next();
635 Annotation annotation= cast(Annotation)entry.getKey(); 635 Annotation annotation= cast(Annotation)entry.getKey();
1020 if (r is null) 1020 if (r is null)
1021 return; 1021 return;
1022 1022
1023 if ( cast(ITextViewerExtension2)fSourceViewer ) { 1023 if ( cast(ITextViewerExtension2)fSourceViewer ) {
1024 if cast(DEBUG) 1024 if cast(DEBUG)
1025 System.out.println("AP: invalidating offset: " + r.getOffset() + ", length= " + r.getLength()); //$NON-NLS-1$ //$NON-NLS-2$ 1025 System.out_.println("AP: invalidating offset: " + r.getOffset() + ", length= " + r.getLength()); //$NON-NLS-1$ //$NON-NLS-2$
1026 1026
1027 (cast(ITextViewerExtension2)fSourceViewer).invalidateTextPresentation(r.getOffset(), r.getLength()); 1027 (cast(ITextViewerExtension2)fSourceViewer).invalidateTextPresentation(r.getOffset(), r.getLength());
1028 1028
1029 } else { 1029 } else {
1030 fSourceViewer.invalidateTextPresentation(); 1030 fSourceViewer.invalidateTextPresentation();
1046 } 1046 }
1047 1047
1048 IRegion region= tp.getExtent(); 1048 IRegion region= tp.getExtent();
1049 1049
1050 if cast(DEBUG) 1050 if cast(DEBUG)
1051 System.out.println("AP: applying text presentation offset: " + region.getOffset() + ", length= " + region.getLength()); //$NON-NLS-1$ //$NON-NLS-2$ 1051 System.out_.println("AP: applying text presentation offset: " + region.getOffset() + ", length= " + region.getLength()); //$NON-NLS-1$ //$NON-NLS-2$
1052 1052
1053 for (int layer= 0, maxLayer= 1; layer < maxLayer; layer++) { 1053 for (int layer= 0, maxLayer= 1; layer < maxLayer; layer++) {
1054 1054
1055 for (Iterator iter= decorations.iterator(); iter.hasNext();) { 1055 for (Iterator iter= decorations.iterator(); iter.hasNext();) {
1056 Map.Entry entry= (Map.Entry)iter.next(); 1056 Map.Entry entry= (Map.Entry)iter.next();
1125 */ 1125 */
1126 return; 1126 return;
1127 } 1127 }
1128 } else { 1128 } else {
1129 if (DEBUG && event !is null && event.isWorldChange()) { 1129 if (DEBUG && event !is null && event.isWorldChange()) {
1130 System.out.println("AP: WORLD CHANGED, stack trace follows:"); //$NON-NLS-1$ 1130 System.out_.println("AP: WORLD CHANGED, stack trace follows:"); //$NON-NLS-1$
1131 new Throwable().printStackTrace(System.out); 1131 new Throwable().printStackTrace(System.out);
1132 } 1132 }
1133 1133
1134 // XXX: posting here is a problem for annotations that are being 1134 // XXX: posting here is a problem for annotations that are being
1135 // removed and the positions of which are not updated to document 1135 // removed and the positions of which are not updated to document