Merge branch 'master' into feature/themes

This commit is contained in:
Seivan Heidari 2019-10-31 09:43:20 +01:00
commit 8edda0e7b1
129 changed files with 5060 additions and 2866 deletions

View file

@ -21,7 +21,6 @@ export class Config {
public rainbowHighlightingOn = false;
public enableEnhancedTyping = true;
public raLspServerPath = RA_LSP_DEBUG || 'ra_lsp_server';
public showWorkspaceLoadedNotification = true;
public lruCapacity: null | number = null;
public displayInlayHints = true;
public maxInlayHintLength: null | number = null;
@ -62,12 +61,6 @@ export class Config {
) as boolean;
}
if (config.has('showWorkspaceLoadedNotification')) {
this.showWorkspaceLoadedNotification = config.get(
'showWorkspaceLoadedNotification'
) as boolean;
}
if (!this.highlightingOn && Server) {
Server.highlighter.removeHighlights();
}