git: cleanup

This commit is contained in:
Joao Moreno
2017-02-17 14:37:17 +01:00
parent 47e5582d87
commit a09c57d62a
3 changed files with 18 additions and 17 deletions

View File

@@ -6,7 +6,6 @@
'use strict';
import { workspace, Uri, Disposable, Event, EventEmitter } from 'vscode';
import { filterEvent } from './util';
import { Model } from './model';
export class GitContentProvider {
@@ -18,12 +17,9 @@ export class GitContentProvider {
private uris = new Set<Uri>();
constructor(private model: Model, onWorkspaceChange: Event<Uri>) {
const onGitChange = filterEvent(onWorkspaceChange, uri => /^\.git\//.test(workspace.asRelativePath(uri)));
const onRelevantGitChange = filterEvent(onGitChange, uri => !/\/\.git\/index\.lock$/.test(uri.fsPath));
constructor(private model: Model) {
this.disposables.push(
onRelevantGitChange(this.fireChangeEvents, this),
model.onDidChangeRepository(this.fireChangeEvents, this),
workspace.registerTextDocumentContentProvider('git', this)
);
}