diff dwtx/text/undo/DocumentUndoManager.d @ 160:3678e4f1a766

toHash, toString
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 02:07:22 +0200
parents 7926b636c282
children f8d52b926852
line wrap: on
line diff
--- a/dwtx/text/undo/DocumentUndoManager.d	Wed Aug 27 01:57:58 2008 +0200
+++ b/dwtx/text/undo/DocumentUndoManager.d	Wed Aug 27 02:07:22 2008 +0200
@@ -389,7 +389,7 @@
         /*
          * @see java.lang.Object#toString()
          */
-        public String toString() {
+        public override String toString() {
             String delimiter= ", "; //$NON-NLS-1$
             StringBuffer text= new StringBuffer(super.toString());
             text.append("\n"); //$NON-NLS-1$