comparison 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
comparison
equal deleted inserted replaced
159:7926b636c282 160:3678e4f1a766
387 } 387 }
388 388
389 /* 389 /*
390 * @see java.lang.Object#toString() 390 * @see java.lang.Object#toString()
391 */ 391 */
392 public String toString() { 392 public override String toString() {
393 String delimiter= ", "; //$NON-NLS-1$ 393 String delimiter= ", "; //$NON-NLS-1$
394 StringBuffer text= new StringBuffer(super.toString()); 394 StringBuffer text= new StringBuffer(super.toString());
395 text.append("\n"); //$NON-NLS-1$ 395 text.append("\n"); //$NON-NLS-1$
396 text.append(this.getClass().getName()); 396 text.append(this.getClass().getName());
397 text.append(" undo modification stamp: "); //$NON-NLS-1$ 397 text.append(" undo modification stamp: "); //$NON-NLS-1$