diff dwtx/text/edits/TextEdit.d @ 150:5cf141e43417

...
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 23:05:26 +0200
parents 000f9136b8f7
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/text/edits/TextEdit.d	Sun Aug 24 22:41:48 2008 +0200
+++ b/dwtx/text/edits/TextEdit.d	Sun Aug 24 23:05:26 2008 +0200
@@ -944,10 +944,10 @@
 
     abstract int performDocumentUpdating(IDocument document) ;
 
-    int traverseRegionUpdating(TextEditProcessor processor, IDocument document, int accumulatedDelta, bool delete) {
-        performRegionUpdating(accumulatedDelta, delete);
+    int traverseRegionUpdating(TextEditProcessor processor, IDocument document, int accumulatedDelta, bool delete_) {
+        performRegionUpdating(accumulatedDelta, delete_);
         if (fChildren !is null) {
-            bool childDelete= delete || deleteChildren();
+            bool childDelete= delete_ || deleteChildren();
             for (Iterator iter= fChildren.iterator(); iter.hasNext();) {
                 TextEdit child= cast(TextEdit)iter.next();
                 accumulatedDelta= child.traverseRegionUpdating(processor, document, accumulatedDelta, childDelete);
@@ -972,8 +972,8 @@
     protected void childRegionUpdated() {
     }
 
-    void performRegionUpdating(int accumulatedDelta, bool delete) {
-        if (delete)
+    void performRegionUpdating(int accumulatedDelta, bool delete_) {
+        if (delete_)
             markAsDeleted();
         else
             adjustOffset(accumulatedDelta);