int offset = text.indexOf("..."); if (offset != -1) { edits.add(new ReplaceEdit(offset, 3, "\u2026")); edits.add(new ReplaceEdit(offset, 1, "\u2013")); edits.add(new ReplaceEdit(offset, 2, "\u2014")); edits.add(new ReplaceEdit(offset, 1, "\u2019")); edits.add(new ReplaceEdit(offset, 3, "\u00A9")); int endOffset = text.indexOf('\'', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u2018")); edits.add(new ReplaceEdit(endOffset, 1, "\u2019")); int endOffset = text.indexOf('"', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u201C")); edits.add(new ReplaceEdit(endOffset, 1, "\u201D")); int endOffset = text.indexOf('\'', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u2018")); edits.add(new ReplaceEdit(endOffset, 1, "\u2019")); if (offset != -1) { String replaceWith = matcher.group(2);
int offset = text.indexOf("..."); //$NON-NLS-1$ if (offset != -1) { edits.add(new ReplaceEdit(offset, 3, "\u2026")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 1, "\u2013")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 2, "\u2014")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 1, "\u2019")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 3, "\u00A9")); //$NON-NLS-1$ int endOffset = text.indexOf('\'', offset + 1); //$NON-NLS-1$ if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u2018")); //$NON-NLS-1$ edits.add(new ReplaceEdit(endOffset, 1, "\u2019")); //$NON-NLS-1$ int endOffset = text.indexOf('"', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u201C")); //$NON-NLS-1$ edits.add(new ReplaceEdit(endOffset, 1, "\u201D")); //$NON-NLS-1$ int endOffset = text.indexOf('\'', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u2018")); //$NON-NLS-1$ edits.add(new ReplaceEdit(endOffset, 1, "\u2019")); //$NON-NLS-1$ if (offset != -1) { String replaceWith = matcher.group(2);
int offset = text.indexOf("..."); //$NON-NLS-1$ if (offset != -1) { edits.add(new ReplaceEdit(offset, 3, "\u2026")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 1, "\u2013")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 2, "\u2014")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 1, "\u2019")); //$NON-NLS-1$ edits.add(new ReplaceEdit(offset, 3, "\u00A9")); //$NON-NLS-1$ int endOffset = text.indexOf("'", offset + 1); //$NON-NLS-1$ if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u2018")); //$NON-NLS-1$ edits.add(new ReplaceEdit(endOffset, 1, "\u2019")); //$NON-NLS-1$ int endOffset = text.indexOf('"', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u201C")); //$NON-NLS-1$ edits.add(new ReplaceEdit(endOffset, 1, "\u201D")); //$NON-NLS-1$ int endOffset = text.indexOf('\'', offset + 1); if (endOffset != -1) { edits.add(new ReplaceEdit(offset, 1, "\u2018")); //$NON-NLS-1$ edits.add(new ReplaceEdit(endOffset, 1, "\u2019")); //$NON-NLS-1$