Searched refs:serverSettingName (Results 1 – 1 of 1) sorted by relevance
40 let serverSettingName: string; variable42 serverSettingName = 'server_path';44 serverSettingName = 'pdll_server_path';46 serverSettingName = 'tablegen_server_path';67 workspaceFolder, serverSettingName, document.languageId,181 configsToWatch.push(serverSettingName);291 static getDefaultServerFilename(serverSettingName: string): string {292 if (serverSettingName === 'pdll_server_path') {295 if (serverSettingName === 'server_path') {298 if (serverSettingName === 'tablegen_server_path') {[all …]