res.mergeFrom(loadThemeFile(themePath));
}
- const global_customizations: any = vscode.workspace.getConfiguration('editor').get('tokenColorCustomizations');
- res.mergeFrom(ColorTheme.fromRules(global_customizations?.textMateRules ?? []));
+ const globalCustomizations: any = vscode.workspace.getConfiguration('editor').get('tokenColorCustomizations');
+ res.mergeFrom(ColorTheme.fromRules(globalCustomizations?.textMateRules ?? []));
- const theme_customizations: any = vscode.workspace.getConfiguration('editor.tokenColorCustomizations').get(`[${themeName}]`);
- res.mergeFrom(ColorTheme.fromRules(theme_customizations?.textMateRules ?? []));
+ const themeCustomizations: any = vscode.workspace.getConfiguration('editor.tokenColorCustomizations').get(`[${themeName}]`);
+ res.mergeFrom(ColorTheme.fromRules(themeCustomizations?.textMateRules ?? []));
return res;
expansion: string;
}
-function code_format(expanded: ExpandedMacro): string {
+function codeFormat(expanded: ExpandedMacro): string {
let result = `// Recursive expansion of ${expanded.name}! macro\n`;
result += '// ' + '='.repeat(result.length - 3);
result += '\n\n';
if (expanded == null) return 'Not available';
- return code_format(expanded);
+ return codeFormat(expanded);
}
get onDidChange(): vscode.Event<vscode.Uri> {