comparison dwtx/jface/text/SequentialRewriteTextStore.d @ 146:75302ef3f92f

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:34:04 +0200
parents 51e6e63f930e
children 000f9136b8f7
comparison
equal deleted inserted replaced
145:02cd5f1224d3 146:75302ef3f92f
175 /** 175 /**
176 * A buffered replace command. 176 * A buffered replace command.
177 */ 177 */
178 private static class Replace { 178 private static class Replace {
179 public int newOffset; 179 public int newOffset;
180 public final int offset; 180 public const int offset;
181 public final int length; 181 public const int length;
182 public final String text; 182 public const String text;
183 183
184 public this(int offset, int newOffset, int length, String text) { 184 public this(int offset, int newOffset, int length, String text) {
185 this.newOffset= newOffset; 185 this.newOffset= newOffset;
186 this.offset= offset; 186 this.offset= offset;
187 this.length= length; 187 this.length= length;