本文整理汇总了TypeScript中codemirror.Doc.replaceRange方法的典型用法代码示例。如果您正苦于以下问题：TypeScript Doc.replaceRange方法的具体用法？TypeScript Doc.replaceRange怎么用？TypeScript Doc.replaceRange使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类codemirror.Doc的用法示例。
在下文中一共展示了Doc.replaceRange方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的TypeScript代码示例。
示例1: setTimeout
cast.savedFileChangedOnDisk.on((res) => {
if (res.filePath == filePath
&& doc.getValue() !== res.contents) {
// Keep the classifier in sync
if (isTsFile) { classifierCache.setContents(filePath, res.contents); }
// preserve cursor for all linked docs
doc.iterLinkedDocs((linked) => {
if (linked.getEditor()) {
const cursor = linked.getCursor();
setTimeout(()=>{
linked.setCursor(cursor);
});
}
});
// preserve cursor
let cursor = doc.getCursor();
// Note that we use *mark as coming from server* so we don't go into doc.change handler later on :)
// Not using setValue as it doesn't take sourceId
let lastLine = doc.lastLine();
let lastCh = doc.getLine(lastLine).length;
doc.replaceRange(res.contents, { line: 0, ch: 0 }, { line: lastLine, ch: lastCh }, cameFromNetworkSourceId);
// restore cursor
doc.setCursor(cursor);
}
})示例2:
codeEdits.forEach(codeEdit => {
if (res.filePath == filePath && codeEdit.sourceId !== localSourceId) {
// Keep the classifier in sync
if (isTsFile) { classifierCache.editFile(filePath, codeEdit); }
// Note that we use *mark as coming from server* so we don't go into doc.change handler later on :)
doc.replaceRange(codeEdit.newText, codeEdit.from, codeEdit.to, cameFromNetworkSourceId);
}
});示例3:
cast.didEdit.on(res=> {
// console.log('got server edit', res.edit.sourceId,'our', sourceId)
let codeEdit = res.edit;
if (res.filePath == filePath && codeEdit.sourceId !== localSourceId) {
// Keep the classifier in sync
if (isTsFile) { classifierCache.editFile(filePath, codeEdit); }
// Note that we use *mark as coming from server* so we don't go into doc.change handler later on :)
doc.replaceRange(codeEdit.newText, codeEdit.from, codeEdit.to, cameFromNetworkSourceId);
}
});示例4:
cast.didEdit.on(res=> {
// console.log('got server edit', res.edit.sourceId,'our', sourceId)
let codeEdit = res.edit;
if (res.filePath == filePath && codeEdit.sourceId !== sourceId) {
// Keep the classifier in sync
if (isTsFile) { classifierCache.editFile(filePath, codeEdit); }
// Note that we use *our source id* as this is now a change *we are making to code mirror* :)
doc.replaceRange(codeEdit.newText, codeEdit.from, codeEdit.to, sourceId);
}
});