本文整理汇总了TypeScript中history.History.showFileHistory方法的典型用法代码示例。如果您正苦于以下问题：TypeScript History.showFileHistory方法的具体用法？TypeScript History.showFileHistory怎么用？TypeScript History.showFileHistory使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类history.History的用法示例。
在下文中一共展示了History.showFileHistory方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的TypeScript代码示例。
示例1: updateEditor
export function updateEditor(fileResource: FileResource) { // why would you ever ignore an update here?
var resourcePath: FilePath = fileResource.getResourcePath();
var isReadOnly = fileResource.isHistorical() || fileResource.isError();
var realText: string = fileResource.getFileContent();
var textToDisplay = resolveEditorTextToUse(fileResource);
var session = editorView.getEditorPanel().getSession();
var currentMode = session.getMode();
var actualMode = resolveEditorMode(resourcePath.getResourcePath());
saveEditorHistory(); // save any existing history
if(actualMode != currentMode) {
session.setMode({
path: actualMode,
v: Date.now()
})
}
if(!isReadOnly) {
createEditorUndoManager(session, textToDisplay, realText, resourcePath); // restore any existing history
} else {
createEditorWithoutUndoManager(textToDisplay);
}
clearEditor();
setReadOnly(isReadOnly);
editorView.updateResourcePath(resourcePath, isReadOnly);
ProblemManager.highlightProblems(); // higlight problems on this resource
if (resourcePath != null && editorView.getEditorResource()) {
var filePath: string = editorView.getEditorResource().getFilePath();
var allBreakpoints = editorView.getEditorBreakpoints();
var breakpoints = allBreakpoints[filePath];
if (breakpoints != null) {
for(var lineNumber in breakpoints) {
if (breakpoints.hasOwnProperty(lineNumber)) {
if (breakpoints[lineNumber] == true) {
setEditorBreakpoint(parseInt(lineNumber) - 1, true);
}
}
}
}
}
Project.createEditorTab(); // update the tab name
History.showFileHistory(); // update the history
StatusPanel.showActiveFile(editorView.getEditorResource().getProjectPath());
FileEditor.showEditorFileInTree();
scrollEditorToPosition();
updateEditorTabMark(); // add a * to the name if its not in sync
}