本文整理汇总了TypeScript中codemirror.Doc类的典型用法代码示例。如果您正苦于以下问题：TypeScript Doc类的具体用法？TypeScript Doc怎么用？TypeScript Doc使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
在下文中一共展示了Doc类的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的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:
list: matches.map((completion: any) => ({
text: completion.text,
to: editor.posFromIndex(completion.end),
from: editor.posFromIndex(completion.start),
type: completion.type,
render: (elt: HTMLElement, data: any, completion: any) => {
const span = document.createElement("span");
const text = document.createTextNode(completion.text);
span.className += "completion-type completion-type-" + completion.type;
span.setAttribute("title", completion.type);
elt.appendChild(span);
elt.appendChild(text);
}
}))示例3:
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);
}
});示例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 !== 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);
}
});示例5:
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);
}
});