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.FrontendApplicationConfigProvider = exports.DEFAULT_BACKGROUND_COLOR_STORAGE_KEY = void 0;
|
19 | const application_props_1 = require("@theia/application-package/lib/application-props");
|
20 | exports.DEFAULT_BACKGROUND_COLOR_STORAGE_KEY = 'theme.background';
|
21 | class FrontendApplicationConfigProvider {
|
22 | static get() {
|
23 | const config = FrontendApplicationConfigProvider.doGet();
|
24 | if (config === undefined) {
|
25 | throw new Error('The configuration is not set. Did you call FrontendApplicationConfigProvider#set?');
|
26 | }
|
27 | return config;
|
28 | }
|
29 | static set(config) {
|
30 | if (FrontendApplicationConfigProvider.doGet() !== undefined) {
|
31 | throw new Error('The configuration is already set.');
|
32 | }
|
33 |
|
34 | const globalObject = window;
|
35 | const key = FrontendApplicationConfigProvider.KEY;
|
36 | globalObject[key] = (0, application_props_1.deepmerge)(application_props_1.FrontendApplicationConfig.DEFAULT, config);
|
37 | }
|
38 | static doGet() {
|
39 |
|
40 | const globalObject = window;
|
41 | const key = FrontendApplicationConfigProvider.KEY;
|
42 | return globalObject[key];
|
43 | }
|
44 | }
|
45 | exports.FrontendApplicationConfigProvider = FrontendApplicationConfigProvider;
|
46 | FrontendApplicationConfigProvider.KEY = Symbol('FrontendApplicationConfigProvider');
|
47 |
|
\ | No newline at end of file |