1 import * as vscode from 'vscode';
4 * Gets the config value `mlir.<key>`, with an optional workspace folder.
6 export function get<T>(key: string,
7 workspaceFolder: vscode.WorkspaceFolder = null,
8 defaultValue: T = undefined): T {
9 return vscode.workspace.getConfiguration('mlir', workspaceFolder)
10 .get<T>(key, defaultValue);
14 * Sets the config value `mlir.<key>`.
16 export function update<T>(key: string, value: T,
17 target?: vscode.ConfigurationTarget) {
18 return vscode.workspace.getConfiguration('mlir').update(key, value, target);