@theia/monaco 1.53.0-next.55 → 1.53.0-next.64

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (77) hide show
  1. package/README.md +100 -100
  2. package/data/monaco-nls.json +1379 -1379
  3. package/data/monaco-themes/vscode/dark_plus.json +201 -201
  4. package/data/monaco-themes/vscode/dark_theia.json +5 -5
  5. package/data/monaco-themes/vscode/dark_vs.json +393 -393
  6. package/data/monaco-themes/vscode/hc_black.json +457 -457
  7. package/data/monaco-themes/vscode/hc_light.json +590 -590
  8. package/data/monaco-themes/vscode/hc_theia.json +5 -5
  9. package/data/monaco-themes/vscode/hc_theia_light.json +5 -5
  10. package/data/monaco-themes/vscode/light_plus.json +202 -202
  11. package/data/monaco-themes/vscode/light_theia.json +10 -10
  12. package/data/monaco-themes/vscode/light_vs.json +421 -421
  13. package/lib/browser/monaco-editor-zone-widget.js +1 -1
  14. package/lib/browser/monaco-frontend-application-contribution.js +25 -25
  15. package/lib/browser/simple-monaco-editor.d.ts +3 -1
  16. package/lib/browser/simple-monaco-editor.d.ts.map +1 -1
  17. package/lib/browser/simple-monaco-editor.js +9 -2
  18. package/lib/browser/simple-monaco-editor.js.map +1 -1
  19. package/package.json +8 -8
  20. package/src/browser/index.ts +17 -17
  21. package/src/browser/markdown-renderer/monaco-markdown-renderer.ts +109 -109
  22. package/src/browser/monaco-bulk-edit-service.ts +64 -64
  23. package/src/browser/monaco-color-registry.ts +73 -73
  24. package/src/browser/monaco-command-registry.ts +85 -85
  25. package/src/browser/monaco-command-service.ts +90 -90
  26. package/src/browser/monaco-command.ts +303 -303
  27. package/src/browser/monaco-context-key-service.ts +144 -144
  28. package/src/browser/monaco-context-menu.ts +112 -112
  29. package/src/browser/monaco-diff-editor.ts +141 -141
  30. package/src/browser/monaco-diff-navigator-factory.ts +39 -39
  31. package/src/browser/monaco-editor-model.ts +693 -693
  32. package/src/browser/monaco-editor-peek-view-widget.ts +233 -233
  33. package/src/browser/monaco-editor-provider.ts +455 -455
  34. package/src/browser/monaco-editor-service.ts +152 -152
  35. package/src/browser/monaco-editor-zone-widget.ts +250 -250
  36. package/src/browser/monaco-editor.ts +733 -733
  37. package/src/browser/monaco-formatting-conflicts.ts +116 -116
  38. package/src/browser/monaco-frontend-application-contribution.ts +182 -182
  39. package/src/browser/monaco-frontend-module.ts +319 -319
  40. package/src/browser/monaco-gotoline-quick-access.ts +47 -47
  41. package/src/browser/monaco-gotosymbol-quick-access.ts +53 -53
  42. package/src/browser/monaco-icon-registry.ts +49 -49
  43. package/src/browser/monaco-indexed-db.ts +130 -130
  44. package/src/browser/monaco-init.ts +134 -134
  45. package/src/browser/monaco-keybinding.ts +111 -111
  46. package/src/browser/monaco-keycode-map.ts +171 -171
  47. package/src/browser/monaco-languages.ts +177 -177
  48. package/src/browser/monaco-marker-collection.ts +83 -83
  49. package/src/browser/monaco-menu.ts +147 -147
  50. package/src/browser/monaco-mime-service.ts +71 -71
  51. package/src/browser/monaco-outline-contribution.ts +404 -404
  52. package/src/browser/monaco-outline-decorator.ts +66 -66
  53. package/src/browser/monaco-quick-access-registry.ts +112 -112
  54. package/src/browser/monaco-quick-input-service.ts +701 -701
  55. package/src/browser/monaco-resolved-keybinding.ts +162 -162
  56. package/src/browser/monaco-snippet-suggest-provider.ts +306 -306
  57. package/src/browser/monaco-standalone-theme-service.ts +51 -51
  58. package/src/browser/monaco-status-bar-contribution.ts +110 -110
  59. package/src/browser/monaco-text-model-service.ts +157 -157
  60. package/src/browser/monaco-theming-service.ts +204 -204
  61. package/src/browser/monaco-to-protocol-converter.ts +82 -82
  62. package/src/browser/monaco-undo-redo-handler.ts +64 -64
  63. package/src/browser/monaco-workspace.ts +416 -416
  64. package/src/browser/protocol-to-monaco-converter.ts +158 -158
  65. package/src/browser/simple-monaco-editor.ts +228 -216
  66. package/src/browser/style/index.css +266 -266
  67. package/src/browser/textmate/index.ts +20 -20
  68. package/src/browser/textmate/monaco-textmate-frontend-bindings.ts +90 -90
  69. package/src/browser/textmate/monaco-textmate-service.ts +187 -187
  70. package/src/browser/textmate/monaco-theme-registry.ts +176 -176
  71. package/src/browser/textmate/monaco-theme-types.ts +37 -37
  72. package/src/browser/textmate/textmate-contribution.ts +29 -29
  73. package/src/browser/textmate/textmate-registry.ts +129 -129
  74. package/src/browser/textmate/textmate-snippet-completion-provider.ts +73 -73
  75. package/src/browser/textmate/textmate-tokenizer.ts +84 -84
  76. package/src/browser/workspace-symbol-command.ts +196 -196
  77. package/src/package.spec.ts +28 -28
@@ -1,47 +1,47 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2021 SAP SE or an SAP affiliate company and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { QuickAccessContribution } from '@theia/core/lib/browser/quick-input';
18
- import { injectable } from '@theia/core/shared/inversify';
19
- import { ICodeEditor } from '@theia/monaco-editor-core/esm/vs/editor/browser/editorBrowser';
20
- import { ICodeEditorService } from '@theia/monaco-editor-core/esm/vs/editor/browser/services/codeEditorService';
21
- import { StandaloneGotoLineQuickAccessProvider } from '@theia/monaco-editor-core/esm/vs/editor/standalone/browser/quickAccess/standaloneGotoLineQuickAccess';
22
- import { IQuickAccessRegistry, Extensions } from '@theia/monaco-editor-core/esm/vs/platform/quickinput/common/quickAccess';
23
- import { Registry } from '@theia/monaco-editor-core/esm/vs/platform/registry/common/platform';
24
-
25
- export class GotoLineQuickAccess extends StandaloneGotoLineQuickAccessProvider {
26
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
27
- constructor(...services: any[]);
28
- constructor(@ICodeEditorService private readonly service: ICodeEditorService) {
29
- super(service);
30
- }
31
-
32
- override get activeTextEditorControl(): ICodeEditor | undefined {
33
- return (this.service.getFocusedCodeEditor() || this.service.getActiveCodeEditor()) ?? undefined;
34
- }
35
- }
36
-
37
- @injectable()
38
- export class GotoLineQuickAccessContribution implements QuickAccessContribution {
39
- registerQuickAccessProvider(): void {
40
- Registry.as<IQuickAccessRegistry>(Extensions.Quickaccess).registerQuickAccessProvider({
41
- ctor: GotoLineQuickAccess,
42
- prefix: ':',
43
- placeholder: '',
44
- helpEntries: [{ description: 'Go to line' }]
45
- });
46
- }
47
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2021 SAP SE or an SAP affiliate company and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { QuickAccessContribution } from '@theia/core/lib/browser/quick-input';
18
+ import { injectable } from '@theia/core/shared/inversify';
19
+ import { ICodeEditor } from '@theia/monaco-editor-core/esm/vs/editor/browser/editorBrowser';
20
+ import { ICodeEditorService } from '@theia/monaco-editor-core/esm/vs/editor/browser/services/codeEditorService';
21
+ import { StandaloneGotoLineQuickAccessProvider } from '@theia/monaco-editor-core/esm/vs/editor/standalone/browser/quickAccess/standaloneGotoLineQuickAccess';
22
+ import { IQuickAccessRegistry, Extensions } from '@theia/monaco-editor-core/esm/vs/platform/quickinput/common/quickAccess';
23
+ import { Registry } from '@theia/monaco-editor-core/esm/vs/platform/registry/common/platform';
24
+
25
+ export class GotoLineQuickAccess extends StandaloneGotoLineQuickAccessProvider {
26
+ // eslint-disable-next-line @typescript-eslint/no-explicit-any
27
+ constructor(...services: any[]);
28
+ constructor(@ICodeEditorService private readonly service: ICodeEditorService) {
29
+ super(service);
30
+ }
31
+
32
+ override get activeTextEditorControl(): ICodeEditor | undefined {
33
+ return (this.service.getFocusedCodeEditor() || this.service.getActiveCodeEditor()) ?? undefined;
34
+ }
35
+ }
36
+
37
+ @injectable()
38
+ export class GotoLineQuickAccessContribution implements QuickAccessContribution {
39
+ registerQuickAccessProvider(): void {
40
+ Registry.as<IQuickAccessRegistry>(Extensions.Quickaccess).registerQuickAccessProvider({
41
+ ctor: GotoLineQuickAccess,
42
+ prefix: ':',
43
+ placeholder: '',
44
+ helpEntries: [{ description: 'Go to line' }]
45
+ });
46
+ }
47
+ }
@@ -1,53 +1,53 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2021 SAP SE or an SAP affiliate company and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { QuickAccessContribution } from '@theia/core/lib/browser/quick-input';
18
- import { injectable } from '@theia/core/shared/inversify';
19
- import { ICodeEditor } from '@theia/monaco-editor-core/esm/vs/editor/browser/editorBrowser';
20
- import { ICodeEditorService } from '@theia/monaco-editor-core/esm/vs/editor/browser/services/codeEditorService';
21
- import { ILanguageFeaturesService } from '@theia/monaco-editor-core/esm/vs/editor/common/services/languageFeatures';
22
- import { IOutlineModelService } from '@theia/monaco-editor-core/esm/vs/editor/contrib/documentSymbols/browser/outlineModel';
23
- import { StandaloneGotoSymbolQuickAccessProvider } from '@theia/monaco-editor-core/esm/vs/editor/standalone/browser/quickAccess/standaloneGotoSymbolQuickAccess';
24
- import { IQuickAccessRegistry, Extensions } from '@theia/monaco-editor-core/esm/vs/platform/quickinput/common/quickAccess';
25
- import { Registry } from '@theia/monaco-editor-core/esm/vs/platform/registry/common/platform';
26
-
27
- export class GotoSymbolQuickAccess extends StandaloneGotoSymbolQuickAccessProvider {
28
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
29
- constructor(...services: any[]);
30
- constructor(
31
- @ICodeEditorService protected readonly codeEditorService: ICodeEditorService,
32
- @ILanguageFeaturesService protected readonly languageFeatures: ILanguageFeaturesService,
33
- @IOutlineModelService protected readonly outlineService: IOutlineModelService,
34
- ) {
35
- super(codeEditorService, languageFeatures, outlineService);
36
- }
37
-
38
- override get activeTextEditorControl(): ICodeEditor | undefined {
39
- return (this.codeEditorService.getFocusedCodeEditor() ?? this.codeEditorService.getActiveCodeEditor()) ?? undefined;
40
- }
41
- }
42
-
43
- @injectable()
44
- export class GotoSymbolQuickAccessContribution implements QuickAccessContribution {
45
- registerQuickAccessProvider(): void {
46
- Registry.as<IQuickAccessRegistry>(Extensions.Quickaccess).registerQuickAccessProvider({
47
- ctor: GotoSymbolQuickAccess,
48
- prefix: '@',
49
- placeholder: '',
50
- helpEntries: [{ description: 'Go to symbol' }]
51
- });
52
- }
53
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2021 SAP SE or an SAP affiliate company and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { QuickAccessContribution } from '@theia/core/lib/browser/quick-input';
18
+ import { injectable } from '@theia/core/shared/inversify';
19
+ import { ICodeEditor } from '@theia/monaco-editor-core/esm/vs/editor/browser/editorBrowser';
20
+ import { ICodeEditorService } from '@theia/monaco-editor-core/esm/vs/editor/browser/services/codeEditorService';
21
+ import { ILanguageFeaturesService } from '@theia/monaco-editor-core/esm/vs/editor/common/services/languageFeatures';
22
+ import { IOutlineModelService } from '@theia/monaco-editor-core/esm/vs/editor/contrib/documentSymbols/browser/outlineModel';
23
+ import { StandaloneGotoSymbolQuickAccessProvider } from '@theia/monaco-editor-core/esm/vs/editor/standalone/browser/quickAccess/standaloneGotoSymbolQuickAccess';
24
+ import { IQuickAccessRegistry, Extensions } from '@theia/monaco-editor-core/esm/vs/platform/quickinput/common/quickAccess';
25
+ import { Registry } from '@theia/monaco-editor-core/esm/vs/platform/registry/common/platform';
26
+
27
+ export class GotoSymbolQuickAccess extends StandaloneGotoSymbolQuickAccessProvider {
28
+ // eslint-disable-next-line @typescript-eslint/no-explicit-any
29
+ constructor(...services: any[]);
30
+ constructor(
31
+ @ICodeEditorService protected readonly codeEditorService: ICodeEditorService,
32
+ @ILanguageFeaturesService protected readonly languageFeatures: ILanguageFeaturesService,
33
+ @IOutlineModelService protected readonly outlineService: IOutlineModelService,
34
+ ) {
35
+ super(codeEditorService, languageFeatures, outlineService);
36
+ }
37
+
38
+ override get activeTextEditorControl(): ICodeEditor | undefined {
39
+ return (this.codeEditorService.getFocusedCodeEditor() ?? this.codeEditorService.getActiveCodeEditor()) ?? undefined;
40
+ }
41
+ }
42
+
43
+ @injectable()
44
+ export class GotoSymbolQuickAccessContribution implements QuickAccessContribution {
45
+ registerQuickAccessProvider(): void {
46
+ Registry.as<IQuickAccessRegistry>(Extensions.Quickaccess).registerQuickAccessProvider({
47
+ ctor: GotoSymbolQuickAccess,
48
+ prefix: '@',
49
+ placeholder: '',
50
+ helpEntries: [{ description: 'Go to symbol' }]
51
+ });
52
+ }
53
+ }
@@ -1,49 +1,49 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2023 Ericsson and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { injectable } from '@theia/core/shared/inversify';
18
- import { IconRegistry } from '@theia/core/lib/browser/icon-registry';
19
- import { getIconRegistry } from '@theia/monaco-editor-core/esm/vs/platform/theme/common/iconRegistry';
20
- import { IconDefinition, IconFontDefinition, ThemeIcon } from '@theia/core/lib/common/theme';
21
-
22
- @injectable()
23
- export class MonacoIconRegistry implements IconRegistry {
24
-
25
- protected readonly iconRegistry = getIconRegistry();
26
-
27
- registerIcon(id: string, defaults: ThemeIcon | IconDefinition, description?: string): ThemeIcon {
28
- return this.iconRegistry.registerIcon(id, defaults, description);
29
- }
30
-
31
- deregisterIcon(id: string): void {
32
- return this.iconRegistry.deregisterIcon(id);
33
- }
34
-
35
- registerIconFont(id: string, definition: IconFontDefinition): IconFontDefinition {
36
- // need to cast because of vscode issue https://github.com/microsoft/vscode/issues/190584
37
- return this.iconRegistry.registerIconFont(id, definition) as IconFontDefinition;
38
- }
39
-
40
- deregisterIconFont(id: string): void {
41
- return this.iconRegistry.deregisterIconFont(id);
42
- }
43
-
44
- getIconFont(id: string): IconFontDefinition | undefined {
45
- // need to cast because of vscode issue https://github.com/microsoft/vscode/issues/190584
46
- return this.iconRegistry.getIconFont(id) as IconFontDefinition;
47
- }
48
- }
49
-
1
+ // *****************************************************************************
2
+ // Copyright (C) 2023 Ericsson and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { injectable } from '@theia/core/shared/inversify';
18
+ import { IconRegistry } from '@theia/core/lib/browser/icon-registry';
19
+ import { getIconRegistry } from '@theia/monaco-editor-core/esm/vs/platform/theme/common/iconRegistry';
20
+ import { IconDefinition, IconFontDefinition, ThemeIcon } from '@theia/core/lib/common/theme';
21
+
22
+ @injectable()
23
+ export class MonacoIconRegistry implements IconRegistry {
24
+
25
+ protected readonly iconRegistry = getIconRegistry();
26
+
27
+ registerIcon(id: string, defaults: ThemeIcon | IconDefinition, description?: string): ThemeIcon {
28
+ return this.iconRegistry.registerIcon(id, defaults, description);
29
+ }
30
+
31
+ deregisterIcon(id: string): void {
32
+ return this.iconRegistry.deregisterIcon(id);
33
+ }
34
+
35
+ registerIconFont(id: string, definition: IconFontDefinition): IconFontDefinition {
36
+ // need to cast because of vscode issue https://github.com/microsoft/vscode/issues/190584
37
+ return this.iconRegistry.registerIconFont(id, definition) as IconFontDefinition;
38
+ }
39
+
40
+ deregisterIconFont(id: string): void {
41
+ return this.iconRegistry.deregisterIconFont(id);
42
+ }
43
+
44
+ getIconFont(id: string): IconFontDefinition | undefined {
45
+ // need to cast because of vscode issue https://github.com/microsoft/vscode/issues/190584
46
+ return this.iconRegistry.getIconFont(id) as IconFontDefinition;
47
+ }
48
+ }
49
+
@@ -1,130 +1,130 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2020 TypeFox and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import * as idb from 'idb';
18
- import { Disposable, DisposableCollection } from '@theia/core/lib/common/disposable';
19
- import { ThemeService } from '@theia/core/lib/browser/theming';
20
- import * as monaco from '@theia/monaco-editor-core';
21
- import { injectable } from '@theia/core/shared/inversify';
22
- import type { ThemeMix } from './textmate/monaco-theme-types';
23
- import { Theme } from '@theia/core/lib/common/theme';
24
- import { Emitter, Event, isObject } from '@theia/core';
25
-
26
- let _monacoDB: Promise<idb.IDBPDatabase> | undefined;
27
- if ('indexedDB' in window) {
28
- _monacoDB = idb.openDB('theia-monaco', 1, {
29
- upgrade: db => {
30
- if (!db.objectStoreNames.contains('themes')) {
31
- db.createObjectStore('themes', { keyPath: 'id' });
32
- }
33
- }
34
- });
35
- }
36
-
37
- export const monacoDB = _monacoDB;
38
-
39
- export interface MonacoThemeState {
40
- id: string,
41
- label: string,
42
- description?: string,
43
- uiTheme: monaco.editor.BuiltinTheme
44
- data: ThemeMix
45
- }
46
- export namespace MonacoThemeState {
47
- export function is(state: unknown): state is MonacoThemeState {
48
- return isObject(state) && 'id' in state && 'label' in state && 'uiTheme' in state && 'data' in state;
49
- }
50
- }
51
-
52
- export async function getThemes(): Promise<MonacoThemeState[]> {
53
- if (!monacoDB) {
54
- return [];
55
- }
56
- const db = await monacoDB;
57
- const result = await db.transaction('themes', 'readonly').objectStore('themes').getAll();
58
- return result.filter(MonacoThemeState.is);
59
- }
60
-
61
- export function putTheme(state: MonacoThemeState): Disposable {
62
- const toDispose = new DisposableCollection(Disposable.create(() => { /* mark as not disposed */ }));
63
- doPutTheme(state, toDispose);
64
- return toDispose;
65
- }
66
- async function doPutTheme(state: MonacoThemeState, toDispose: DisposableCollection): Promise<void> {
67
- if (!monacoDB) {
68
- return;
69
- }
70
- const db = await monacoDB;
71
- if (toDispose.disposed) {
72
- return;
73
- }
74
- const id = state.id;
75
- await db.transaction('themes', 'readwrite').objectStore('themes').put(state);
76
- if (toDispose.disposed) {
77
- await deleteTheme(id);
78
- return;
79
- }
80
- toDispose.push(Disposable.create(() => deleteTheme(id)));
81
- }
82
-
83
- export async function deleteTheme(id: string): Promise<void> {
84
- if (!monacoDB) {
85
- return;
86
- }
87
- const db = await monacoDB;
88
- await db.transaction('themes', 'readwrite').objectStore('themes').delete(id);
89
- }
90
-
91
- export function stateToTheme(state: MonacoThemeState): Theme {
92
- const { id, label, description, uiTheme, data } = state;
93
- const type = uiTheme === 'vs' ? 'light' : uiTheme === 'vs-dark' ? 'dark' : 'hc';
94
- return {
95
- type,
96
- id,
97
- label,
98
- description,
99
- editorTheme: data.name!
100
- };
101
- }
102
-
103
- @injectable()
104
- export class ThemeServiceWithDB extends ThemeService {
105
- protected onDidRetrieveThemeEmitter = new Emitter<MonacoThemeState>();
106
- get onDidRetrieveTheme(): Event<MonacoThemeState> {
107
- return this.onDidRetrieveThemeEmitter.event;
108
- }
109
-
110
- override loadUserTheme(): void {
111
- this.loadUserThemeWithDB();
112
- }
113
-
114
- protected async loadUserThemeWithDB(): Promise<void> {
115
- const themeId = window.localStorage.getItem(ThemeService.STORAGE_KEY) ?? this.defaultTheme.id;
116
- const theme = this.themes[themeId] ?? await getThemes().then(themes => {
117
- const matchingTheme = themes.find(candidate => candidate.id === themeId);
118
- if (matchingTheme) {
119
- this.onDidRetrieveThemeEmitter.fire(matchingTheme);
120
- return stateToTheme(matchingTheme);
121
- }
122
- }) ?? this.getTheme(themeId);
123
- // In case the theme comes from the DB.
124
- if (!this.themes[theme.id]) {
125
- this.themes[theme.id] = theme;
126
- }
127
- this.setCurrentTheme(theme.id, false);
128
- this.deferredInitializer.resolve();
129
- }
130
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2020 TypeFox and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import * as idb from 'idb';
18
+ import { Disposable, DisposableCollection } from '@theia/core/lib/common/disposable';
19
+ import { ThemeService } from '@theia/core/lib/browser/theming';
20
+ import * as monaco from '@theia/monaco-editor-core';
21
+ import { injectable } from '@theia/core/shared/inversify';
22
+ import type { ThemeMix } from './textmate/monaco-theme-types';
23
+ import { Theme } from '@theia/core/lib/common/theme';
24
+ import { Emitter, Event, isObject } from '@theia/core';
25
+
26
+ let _monacoDB: Promise<idb.IDBPDatabase> | undefined;
27
+ if ('indexedDB' in window) {
28
+ _monacoDB = idb.openDB('theia-monaco', 1, {
29
+ upgrade: db => {
30
+ if (!db.objectStoreNames.contains('themes')) {
31
+ db.createObjectStore('themes', { keyPath: 'id' });
32
+ }
33
+ }
34
+ });
35
+ }
36
+
37
+ export const monacoDB = _monacoDB;
38
+
39
+ export interface MonacoThemeState {
40
+ id: string,
41
+ label: string,
42
+ description?: string,
43
+ uiTheme: monaco.editor.BuiltinTheme
44
+ data: ThemeMix
45
+ }
46
+ export namespace MonacoThemeState {
47
+ export function is(state: unknown): state is MonacoThemeState {
48
+ return isObject(state) && 'id' in state && 'label' in state && 'uiTheme' in state && 'data' in state;
49
+ }
50
+ }
51
+
52
+ export async function getThemes(): Promise<MonacoThemeState[]> {
53
+ if (!monacoDB) {
54
+ return [];
55
+ }
56
+ const db = await monacoDB;
57
+ const result = await db.transaction('themes', 'readonly').objectStore('themes').getAll();
58
+ return result.filter(MonacoThemeState.is);
59
+ }
60
+
61
+ export function putTheme(state: MonacoThemeState): Disposable {
62
+ const toDispose = new DisposableCollection(Disposable.create(() => { /* mark as not disposed */ }));
63
+ doPutTheme(state, toDispose);
64
+ return toDispose;
65
+ }
66
+ async function doPutTheme(state: MonacoThemeState, toDispose: DisposableCollection): Promise<void> {
67
+ if (!monacoDB) {
68
+ return;
69
+ }
70
+ const db = await monacoDB;
71
+ if (toDispose.disposed) {
72
+ return;
73
+ }
74
+ const id = state.id;
75
+ await db.transaction('themes', 'readwrite').objectStore('themes').put(state);
76
+ if (toDispose.disposed) {
77
+ await deleteTheme(id);
78
+ return;
79
+ }
80
+ toDispose.push(Disposable.create(() => deleteTheme(id)));
81
+ }
82
+
83
+ export async function deleteTheme(id: string): Promise<void> {
84
+ if (!monacoDB) {
85
+ return;
86
+ }
87
+ const db = await monacoDB;
88
+ await db.transaction('themes', 'readwrite').objectStore('themes').delete(id);
89
+ }
90
+
91
+ export function stateToTheme(state: MonacoThemeState): Theme {
92
+ const { id, label, description, uiTheme, data } = state;
93
+ const type = uiTheme === 'vs' ? 'light' : uiTheme === 'vs-dark' ? 'dark' : 'hc';
94
+ return {
95
+ type,
96
+ id,
97
+ label,
98
+ description,
99
+ editorTheme: data.name!
100
+ };
101
+ }
102
+
103
+ @injectable()
104
+ export class ThemeServiceWithDB extends ThemeService {
105
+ protected onDidRetrieveThemeEmitter = new Emitter<MonacoThemeState>();
106
+ get onDidRetrieveTheme(): Event<MonacoThemeState> {
107
+ return this.onDidRetrieveThemeEmitter.event;
108
+ }
109
+
110
+ override loadUserTheme(): void {
111
+ this.loadUserThemeWithDB();
112
+ }
113
+
114
+ protected async loadUserThemeWithDB(): Promise<void> {
115
+ const themeId = window.localStorage.getItem(ThemeService.STORAGE_KEY) ?? this.defaultTheme.id;
116
+ const theme = this.themes[themeId] ?? await getThemes().then(themes => {
117
+ const matchingTheme = themes.find(candidate => candidate.id === themeId);
118
+ if (matchingTheme) {
119
+ this.onDidRetrieveThemeEmitter.fire(matchingTheme);
120
+ return stateToTheme(matchingTheme);
121
+ }
122
+ }) ?? this.getTheme(themeId);
123
+ // In case the theme comes from the DB.
124
+ if (!this.themes[theme.id]) {
125
+ this.themes[theme.id] = theme;
126
+ }
127
+ this.setCurrentTheme(theme.id, false);
128
+ this.deferredInitializer.resolve();
129
+ }
130
+ }