Adds new CodeLens visibility & location settings

Adds new command to toggle CodeLens on and off when `gitlens.codeLens.visibility` is set to `ondemand`
This commit is contained in:
Eric Amodio
2016-09-19 21:28:52 -04:00
parent 14e9c5b4fa
commit 7b4dd77fbc
9 changed files with 200 additions and 63 deletions

View File

@@ -23,12 +23,30 @@ export const CodeLensCommand = {
GitHistory: 'git.history' as CodeLensCommand
}
export type CodeLensLocation = 'all' | 'document+containers' | 'document' | 'custom';
export const CodeLensLocation = {
All: 'all' as CodeLensLocation,
DocumentAndContainers: 'document+containers' as CodeLensLocation,
Document: 'document' as CodeLensLocation,
Custom: 'custom' as CodeLensLocation,
}
export type CodeLensVisibility = 'auto' | 'ondemand' | 'off';
export const CodeLensVisibility = {
Auto: 'auto' as CodeLensVisibility,
OnDemand: 'ondemand' as CodeLensVisibility,
Off: 'off' as CodeLensVisibility
}
export interface ICodeLensConfig {
enabled: boolean;
command: CodeLensCommand;
}
export interface ICodeLensesConfig {
visibility: CodeLensVisibility;
location: CodeLensLocation;
locationCustomSymbols: string[];
recentChange: ICodeLensConfig;
authors: ICodeLensConfig;
}