comparison dwtx/text/edits/TextEdit.d @ 140:26688fec6d23

Following dsss compile errors
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 03:23:46 +0200
parents 93a6ec48fd28
children 000f9136b8f7
comparison
equal deleted inserted replaced
139:93a6ec48fd28 140:26688fec6d23
728 * in the tree can't be executed. The state of the document is 728 * in the tree can't be executed. The state of the document is
729 * undefined if this exception is thrown. 729 * undefined if this exception is thrown.
730 * 730 *
731 * @see TextEditProcessor#performEdits() 731 * @see TextEditProcessor#performEdits()
732 */ 732 */
733 public final UndoEdit apply(IDocument document, int style) throws MalformedTreeException, BadLocationException { 733 public final UndoEdit apply(IDocument document, int style) {
734 try { 734 try {
735 TextEditProcessor processor= new TextEditProcessor(document, this, style); 735 TextEditProcessor processor= new TextEditProcessor(document, this, style);
736 return processor.performEdits(); 736 return processor.performEdits();
737 } finally { 737 } finally {
738 // disconnect from text edit processor 738 // disconnect from text edit processor
754 * @exception BadLocationException is thrown if one of the edits 754 * @exception BadLocationException is thrown if one of the edits
755 * in the tree can't be executed. The state of the document is 755 * in the tree can't be executed. The state of the document is
756 * undefined if this exception is thrown. 756 * undefined if this exception is thrown.
757 * @see #apply(IDocument, int) 757 * @see #apply(IDocument, int)
758 */ 758 */
759 public final UndoEdit apply(IDocument document) throws MalformedTreeException, BadLocationException { 759 public final UndoEdit apply(IDocument document) {
760 return apply(document, CREATE_UNDO | UPDATE_REGIONS); 760 return apply(document, CREATE_UNDO | UPDATE_REGIONS);
761 } 761 }
762 762
763 UndoEdit dispatchPerformEdits(TextEditProcessor processor) { 763 UndoEdit dispatchPerformEdits(TextEditProcessor processor) {
764 return processor.executeDo(); 764 return processor.executeDo();