1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 |
|
15 |
|
16 |
|
17 | import { FrontendApplicationConfig, deepmerge } from '@theia/application-package/lib/application-props';
|
18 |
|
19 | export const DEFAULT_BACKGROUND_COLOR_STORAGE_KEY = 'theme.background';
|
20 |
|
21 | export class FrontendApplicationConfigProvider {
|
22 |
|
23 | private static KEY = Symbol('FrontendApplicationConfigProvider');
|
24 |
|
25 | static get(): FrontendApplicationConfig {
|
26 | const config = FrontendApplicationConfigProvider.doGet();
|
27 | if (config === undefined) {
|
28 | throw new Error('The configuration is not set. Did you call FrontendApplicationConfigProvider#set?');
|
29 | }
|
30 | return config;
|
31 | }
|
32 |
|
33 | static set(config: FrontendApplicationConfig.Partial): void {
|
34 | if (FrontendApplicationConfigProvider.doGet() !== undefined) {
|
35 | throw new Error('The configuration is already set.');
|
36 | }
|
37 |
|
38 | const globalObject = window as any;
|
39 | const key = FrontendApplicationConfigProvider.KEY;
|
40 | globalObject[key] = deepmerge(FrontendApplicationConfig.DEFAULT, config);
|
41 | }
|
42 |
|
43 | private static doGet(): FrontendApplicationConfig | undefined {
|
44 |
|
45 | const globalObject = window as any;
|
46 | const key = FrontendApplicationConfigProvider.KEY;
|
47 | return globalObject[key];
|
48 | }
|
49 |
|
50 | }
|