comparison dwtx/jface/text/DefaultUndoManager.d @ 160:3678e4f1a766

toHash, toString
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 02:07:22 +0200
parents 7926b636c282
children 1a5b8f8129df
comparison
equal deleted inserted replaced
159:7926b636c282 160:3678e4f1a766
529 529
530 /* 530 /*
531 * @see java.lang.Object#toString() 531 * @see java.lang.Object#toString()
532 * @since 3.1 532 * @since 3.1
533 */ 533 */
534 public String toString() { 534 public override String toString() {
535 String delimiter= ", "; //$NON-NLS-1$ 535 String delimiter= ", "; //$NON-NLS-1$
536 StringBuffer text= new StringBuffer(super.toString()); 536 StringBuffer text= new StringBuffer(super.toString());
537 text.append("\n"); //$NON-NLS-1$ 537 text.append("\n"); //$NON-NLS-1$
538 text.append(this.getClass().getName()); 538 text.append(this.getClass().getName());
539 text.append(" undo modification stamp: "); //$NON-NLS-1$ 539 text.append(" undo modification stamp: "); //$NON-NLS-1$