@theia/core/lib/browser/tree/tree-preference.d.ts

Theia is a cloud & desktop IDE framework implemented in TypeScript.

import { interfaces } from 'inversify';
import { PreferenceProxy, PreferenceSchema } from '../preferences';
export declare const PREFERENCE_NAME_TREE_INDENT = "workbench.tree.indent";
export declare const treePreferencesSchema: PreferenceSchema;
export declare class TreeConfiguration {
    [PREFERENCE_NAME_TREE_INDENT]: number;
}
export declare const TreePreferences: unique symbol;
export type TreePreferences = PreferenceProxy<TreeConfiguration>;
export declare function bindTreePreferences(bind: interfaces.Bind): void;
//# sourceMappingURL=tree-preference.d.ts.map