git: use different uris for quick diff

This commit is contained in:
Joao Moreno
2017-03-01 12:53:19 +01:00
parent 7f0f3103ee
commit 0ff45fcdf0
2 changed files with 9 additions and 2 deletions

View File

@@ -32,7 +32,8 @@ export class GitContentProvider {
constructor(private model: Model) {
this.disposables.push(
model.onDidChangeRepository(this.eventuallyFireChangeEvents, this),
workspace.registerTextDocumentContentProvider('git', this)
workspace.registerTextDocumentContentProvider('git', this),
workspace.registerTextDocumentContentProvider('git-original', this)
);
setInterval(() => this.cleanup(), FIVE_MINUTES);
@@ -52,6 +53,10 @@ export class GitContentProvider {
}
async provideTextDocumentContent(uri: Uri): Promise<string> {
if (uri.scheme === 'git-original') {
uri = new Uri().with({ scheme: 'git', path: uri.query });
}
let ref = uri.query;
if (ref === '~') {