1 | "use strict";
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 |
|
15 |
|
16 |
|
17 | Object.defineProperty(exports, "__esModule", { value: true });
|
18 | exports.bindTreePreferences = exports.TreePreferences = exports.TreeConfiguration = exports.treePreferencesSchema = exports.PREFERENCE_NAME_TREE_INDENT = void 0;
|
19 | const preferences_1 = require("../preferences");
|
20 | const injectable_preference_proxy_1 = require("../preferences/injectable-preference-proxy");
|
21 | const nls_1 = require("../../common/nls");
|
22 | exports.PREFERENCE_NAME_TREE_INDENT = 'workbench.tree.indent';
|
23 | exports.treePreferencesSchema = {
|
24 | type: 'object',
|
25 | properties: {
|
26 | [exports.PREFERENCE_NAME_TREE_INDENT]: {
|
27 | description: nls_1.nls.localizeByDefault('Controls tree indentation in pixels.'),
|
28 | type: 'number',
|
29 | default: 8,
|
30 | minimum: 4,
|
31 | maximum: 40
|
32 | },
|
33 | }
|
34 | };
|
35 | class TreeConfiguration {
|
36 | }
|
37 | exports.TreeConfiguration = TreeConfiguration;
|
38 | exports.TreePreferences = Symbol('treePreferences');
|
39 | function bindTreePreferences(bind) {
|
40 | bind(exports.TreePreferences).toDynamicValue(ctx => {
|
41 | const factory = ctx.container.get(injectable_preference_proxy_1.PreferenceProxyFactory);
|
42 | return factory(exports.treePreferencesSchema);
|
43 | }).inSingletonScope();
|
44 | bind(preferences_1.PreferenceContribution).toConstantValue({ schema: exports.treePreferencesSchema });
|
45 | }
|
46 | exports.bindTreePreferences = bindTreePreferences;
|
47 |
|
\ | No newline at end of file |