git api: onDidRunGitStatus

This commit is contained in:
Joao Moreno
2018-08-22 15:26:49 +02:00
parent 78d61d55f4
commit 1845bc3a64
2 changed files with 20 additions and 12 deletions

View File

@@ -10,13 +10,6 @@ export interface Git {
readonly path: string;
}
export interface API {
readonly git: Git;
readonly repositories: Repository[];
readonly onDidOpenRepository: Event<Repository>;
readonly onDidCloseRepository: Event<Repository>;
}
export interface InputBox {
value: string;
}
@@ -24,6 +17,17 @@ export interface InputBox {
export interface Repository {
readonly rootUri: Uri;
readonly inputBox: InputBox;
readonly onDidRunGitStatus: Event<void>;
status(): Promise<void>;
}
export interface API {
readonly git: Git;
readonly repositories: Repository[];
readonly onDidOpenRepository: Event<Repository>;
readonly onDidCloseRepository: Event<Repository>;
}
export interface GitExtension {