comparison dwtx/text/edits/EditDocument.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents 26688fec6d23
children
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
106 106
107 public String get() { 107 public String get() {
108 return fBuffer.toString(); 108 return fBuffer.toString();
109 } 109 }
110 110
111 public String get(int offset, int length) { 111 public String get(int offset, int length_) {
112 return fBuffer.substring(offset, offset + length); 112 return fBuffer.slice()[offset .. offset + length_ ];
113 } 113 }
114 114
115 public char getChar(int offset) { 115 public char getChar(int offset) {
116 throw new UnsupportedOperationException(); 116 throw new UnsupportedOperationException();
117 } 117 }
215 public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) { 215 public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) {
216 throw new UnsupportedOperationException(); 216 throw new UnsupportedOperationException();
217 } 217 }
218 218
219 public void replace(int offset, int length, String text) { 219 public void replace(int offset, int length, String text) {
220 fBuffer.replace(offset, offset + length, text); 220 fBuffer.select(offset, length );
221 fBuffer.replace(text);
221 } 222 }
222 223
223 public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) { 224 public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) {
224 throw new UnsupportedOperationException(); 225 throw new UnsupportedOperationException();
225 } 226 }