@theia/terminal 1.34.2 → 1.34.3

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 (121) hide show
  1. package/LICENSE +641 -641
  2. package/README.md +30 -30
  3. package/lib/browser/base/terminal-service.d.ts +34 -34
  4. package/lib/browser/base/terminal-service.js +7 -7
  5. package/lib/browser/base/terminal-widget.d.ts +184 -184
  6. package/lib/browser/base/terminal-widget.js +34 -34
  7. package/lib/browser/index.d.ts +1 -1
  8. package/lib/browser/index.js +28 -28
  9. package/lib/browser/search/terminal-search-container.d.ts +3 -3
  10. package/lib/browser/search/terminal-search-container.js +28 -28
  11. package/lib/browser/search/terminal-search-widget.d.ts +30 -30
  12. package/lib/browser/search/terminal-search-widget.js +147 -147
  13. package/lib/browser/shell-terminal-profile.d.ts +19 -19
  14. package/lib/browser/shell-terminal-profile.js +39 -39
  15. package/lib/browser/terminal-contribution.d.ts +3 -3
  16. package/lib/browser/terminal-contribution.js +20 -20
  17. package/lib/browser/terminal-copy-on-selection-handler.d.ts +10 -10
  18. package/lib/browser/terminal-copy-on-selection-handler.js +103 -103
  19. package/lib/browser/terminal-file-link-provider.d.ts +24 -24
  20. package/lib/browser/terminal-file-link-provider.js +200 -200
  21. package/lib/browser/terminal-frontend-contribution.d.ts +112 -112
  22. package/lib/browser/terminal-frontend-contribution.js +994 -994
  23. package/lib/browser/terminal-frontend-module.d.ts +5 -5
  24. package/lib/browser/terminal-frontend-module.js +115 -115
  25. package/lib/browser/terminal-keybinding-contexts.d.ts +15 -15
  26. package/lib/browser/terminal-keybinding-contexts.js +71 -71
  27. package/lib/browser/terminal-link-helpers.d.ts +27 -27
  28. package/lib/browser/terminal-link-helpers.js +155 -155
  29. package/lib/browser/terminal-link-provider.d.ts +51 -51
  30. package/lib/browser/terminal-link-provider.js +197 -197
  31. package/lib/browser/terminal-preferences.d.ts +61 -61
  32. package/lib/browser/terminal-preferences.js +329 -329
  33. package/lib/browser/terminal-profile-service.d.ts +55 -55
  34. package/lib/browser/terminal-profile-service.js +149 -149
  35. package/lib/browser/terminal-quick-open-service.d.ts +36 -36
  36. package/lib/browser/terminal-quick-open-service.js +137 -137
  37. package/lib/browser/terminal-theme-service.d.ts +21 -21
  38. package/lib/browser/terminal-theme-service.js +218 -218
  39. package/lib/browser/terminal-url-link-provider.d.ts +11 -11
  40. package/lib/browser/terminal-url-link-provider.js +76 -76
  41. package/lib/browser/terminal-widget-impl.d.ts +173 -173
  42. package/lib/browser/terminal-widget-impl.js +769 -769
  43. package/lib/common/base-terminal-protocol.d.ts +100 -100
  44. package/lib/common/base-terminal-protocol.js +88 -88
  45. package/lib/common/shell-terminal-protocol.d.ts +29 -29
  46. package/lib/common/shell-terminal-protocol.js +22 -22
  47. package/lib/common/terminal-common-module.d.ts +7 -7
  48. package/lib/common/terminal-common-module.js +31 -31
  49. package/lib/common/terminal-protocol.d.ts +12 -12
  50. package/lib/common/terminal-protocol.js +21 -21
  51. package/lib/common/terminal-watcher.d.ts +13 -13
  52. package/lib/common/terminal-watcher.js +70 -70
  53. package/lib/node/base-terminal-server.d.ts +36 -36
  54. package/lib/node/base-terminal-server.js +252 -252
  55. package/lib/node/buffering-stream.d.ts +39 -39
  56. package/lib/node/buffering-stream.js +75 -75
  57. package/lib/node/buffering-stream.spec.d.ts +1 -1
  58. package/lib/node/buffering-stream.spec.js +43 -43
  59. package/lib/node/index.d.ts +1 -1
  60. package/lib/node/index.js +28 -28
  61. package/lib/node/shell-process.d.ts +26 -26
  62. package/lib/node/shell-process.js +106 -106
  63. package/lib/node/shell-terminal-server.d.ts +14 -14
  64. package/lib/node/shell-terminal-server.js +114 -114
  65. package/lib/node/shell-terminal-server.spec.d.ts +1 -1
  66. package/lib/node/shell-terminal-server.spec.js +35 -35
  67. package/lib/node/terminal-backend-contribution.d.ts +9 -9
  68. package/lib/node/terminal-backend-contribution.js +75 -75
  69. package/lib/node/terminal-backend-contribution.slow-spec.d.ts +1 -1
  70. package/lib/node/terminal-backend-contribution.slow-spec.js +54 -54
  71. package/lib/node/terminal-backend-module.d.ts +11 -11
  72. package/lib/node/terminal-backend-module.js +69 -69
  73. package/lib/node/terminal-server.d.ts +9 -9
  74. package/lib/node/terminal-server.js +64 -64
  75. package/lib/node/terminal-server.spec.d.ts +1 -1
  76. package/lib/node/terminal-server.spec.js +41 -41
  77. package/lib/node/test/terminal-test-container.d.ts +2 -2
  78. package/lib/node/test/terminal-test-container.js +40 -40
  79. package/lib/package.spec.js +25 -25
  80. package/package.json +9 -9
  81. package/src/browser/base/terminal-service.ts +60 -60
  82. package/src/browser/base/terminal-widget.ts +244 -244
  83. package/src/browser/index.ts +17 -17
  84. package/src/browser/search/terminal-search-container.ts +28 -28
  85. package/src/browser/search/terminal-search-widget.tsx +161 -161
  86. package/src/browser/shell-terminal-profile.ts +40 -40
  87. package/src/browser/style/terminal-search.css +93 -93
  88. package/src/browser/style/terminal.css +33 -33
  89. package/src/browser/terminal-contribution.ts +19 -19
  90. package/src/browser/terminal-copy-on-selection-handler.ts +92 -92
  91. package/src/browser/terminal-file-link-provider.ts +200 -200
  92. package/src/browser/terminal-frontend-contribution.ts +1048 -1048
  93. package/src/browser/terminal-frontend-module.ts +139 -139
  94. package/src/browser/terminal-keybinding-contexts.ts +52 -52
  95. package/src/browser/terminal-link-helpers.ts +187 -187
  96. package/src/browser/terminal-link-provider.ts +203 -203
  97. package/src/browser/terminal-preferences.ts +427 -427
  98. package/src/browser/terminal-profile-service.ts +170 -170
  99. package/src/browser/terminal-quick-open-service.ts +132 -132
  100. package/src/browser/terminal-theme-service.ts +209 -209
  101. package/src/browser/terminal-url-link-provider.ts +66 -66
  102. package/src/browser/terminal-widget-impl.ts +827 -827
  103. package/src/common/base-terminal-protocol.ts +183 -183
  104. package/src/common/shell-terminal-protocol.ts +50 -50
  105. package/src/common/terminal-common-module.ts +30 -30
  106. package/src/common/terminal-protocol.ts +32 -32
  107. package/src/common/terminal-watcher.ts +69 -69
  108. package/src/node/base-terminal-server.ts +279 -279
  109. package/src/node/buffering-stream.spec.ts +46 -46
  110. package/src/node/buffering-stream.ts +95 -95
  111. package/src/node/index.ts +17 -17
  112. package/src/node/shell-process.ts +101 -101
  113. package/src/node/shell-terminal-server.spec.ts +40 -40
  114. package/src/node/shell-terminal-server.ts +95 -95
  115. package/src/node/terminal-backend-contribution.slow-spec.ts +63 -63
  116. package/src/node/terminal-backend-contribution.ts +60 -60
  117. package/src/node/terminal-backend-module.ts +82 -82
  118. package/src/node/terminal-server.spec.ts +47 -47
  119. package/src/node/terminal-server.ts +52 -52
  120. package/src/node/test/terminal-test-container.ts +39 -39
  121. package/src/package.spec.ts +28 -28
@@ -1,139 +1,139 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2017 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 WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import '../../src/browser/style/terminal.css';
18
- import 'xterm/css/xterm.css';
19
-
20
- import { ContainerModule, Container } from '@theia/core/shared/inversify';
21
- import { CommandContribution, MenuContribution, nls } from '@theia/core/lib/common';
22
- import { bindContributionProvider } from '@theia/core';
23
- import { KeybindingContribution, WebSocketConnectionProvider, WidgetFactory, KeybindingContext, FrontendApplicationContribution } from '@theia/core/lib/browser';
24
- import { TabBarToolbarContribution } from '@theia/core/lib/browser/shell/tab-bar-toolbar';
25
- import { TerminalFrontendContribution } from './terminal-frontend-contribution';
26
- import { TerminalWidgetImpl, TERMINAL_WIDGET_FACTORY_ID } from './terminal-widget-impl';
27
- import { TerminalWidget, TerminalWidgetOptions } from './base/terminal-widget';
28
- import { ITerminalServer, terminalPath } from '../common/terminal-protocol';
29
- import { TerminalWatcher } from '../common/terminal-watcher';
30
- import { IShellTerminalServer, shellTerminalPath, ShellTerminalServerProxy } from '../common/shell-terminal-protocol';
31
- import { TerminalActiveContext, TerminalSearchVisibleContext } from './terminal-keybinding-contexts';
32
- import { createCommonBindings } from '../common/terminal-common-module';
33
- import { TerminalService } from './base/terminal-service';
34
- import { bindTerminalPreferences } from './terminal-preferences';
35
- import { TerminalContribution } from './terminal-contribution';
36
- import { TerminalSearchWidgetFactory } from './search/terminal-search-widget';
37
- import { TerminalQuickOpenService, TerminalQuickOpenContribution } from './terminal-quick-open-service';
38
- import { createTerminalSearchFactory } from './search/terminal-search-container';
39
- import { TerminalCopyOnSelectionHandler } from './terminal-copy-on-selection-handler';
40
- import { ColorContribution } from '@theia/core/lib/browser/color-application-contribution';
41
- import { TerminalThemeService } from './terminal-theme-service';
42
- import { QuickAccessContribution } from '@theia/core/lib/browser/quick-input/quick-access';
43
- import { createXtermLinkFactory, TerminalLinkProvider, TerminalLinkProviderContribution, XtermLinkFactory } from './terminal-link-provider';
44
- import { UrlLinkProvider } from './terminal-url-link-provider';
45
- import { FileDiffPostLinkProvider, FileDiffPreLinkProvider, FileLinkProvider } from './terminal-file-link-provider';
46
- import {
47
- ContributedTerminalProfileStore, DefaultProfileStore, DefaultTerminalProfileService,
48
- TerminalProfileService, TerminalProfileStore, UserTerminalProfileStore
49
- } from './terminal-profile-service';
50
-
51
- export default new ContainerModule(bind => {
52
- bindTerminalPreferences(bind);
53
- bind(KeybindingContext).to(TerminalActiveContext).inSingletonScope();
54
- bind(KeybindingContext).to(TerminalSearchVisibleContext).inSingletonScope();
55
-
56
- bind(TerminalWidget).to(TerminalWidgetImpl).inTransientScope();
57
- bind(TerminalWatcher).toSelf().inSingletonScope();
58
-
59
- let terminalNum = 0;
60
- bind(WidgetFactory).toDynamicValue(ctx => ({
61
- id: TERMINAL_WIDGET_FACTORY_ID,
62
- createWidget: (options: TerminalWidgetOptions) => {
63
- const child = new Container({ defaultScope: 'Singleton' });
64
- child.parent = ctx.container;
65
- const counter = terminalNum++;
66
- const domId = options.id || 'terminal-' + counter;
67
- const widgetOptions: TerminalWidgetOptions = {
68
- title: `${nls.localizeByDefault('Terminal')} ${counter}`,
69
- useServerTitle: true,
70
- destroyTermOnClose: true,
71
- ...options
72
- };
73
- child.bind(TerminalWidgetOptions).toConstantValue(widgetOptions);
74
- child.bind('terminal-dom-id').toConstantValue(domId);
75
-
76
- child.bind(TerminalSearchWidgetFactory).toDynamicValue(context => createTerminalSearchFactory(context.container));
77
-
78
- return child.get(TerminalWidget);
79
- }
80
- }));
81
-
82
- bind(TerminalQuickOpenService).toSelf().inSingletonScope();
83
- bind(TerminalCopyOnSelectionHandler).toSelf().inSingletonScope();
84
-
85
- bind(TerminalQuickOpenContribution).toSelf().inSingletonScope();
86
- for (const identifier of [CommandContribution, QuickAccessContribution]) {
87
- bind(identifier).toService(TerminalQuickOpenContribution);
88
- }
89
-
90
- bind(TerminalThemeService).toSelf().inSingletonScope();
91
- bind(TerminalFrontendContribution).toSelf().inSingletonScope();
92
- bind(TerminalService).toService(TerminalFrontendContribution);
93
- for (const identifier of [CommandContribution, MenuContribution, KeybindingContribution, TabBarToolbarContribution, ColorContribution]) {
94
- bind(identifier).toService(TerminalFrontendContribution);
95
- }
96
-
97
- bind(ITerminalServer).toDynamicValue(ctx => {
98
- const connection = ctx.container.get(WebSocketConnectionProvider);
99
- const terminalWatcher = ctx.container.get(TerminalWatcher);
100
- return connection.createProxy<ITerminalServer>(terminalPath, terminalWatcher.getTerminalClient());
101
- }).inSingletonScope();
102
-
103
- bind(ShellTerminalServerProxy).toDynamicValue(ctx => {
104
- const connection = ctx.container.get(WebSocketConnectionProvider);
105
- const terminalWatcher = ctx.container.get(TerminalWatcher);
106
- return connection.createProxy<IShellTerminalServer>(shellTerminalPath, terminalWatcher.getTerminalClient());
107
- }).inSingletonScope();
108
- bind(IShellTerminalServer).toService(ShellTerminalServerProxy);
109
-
110
- createCommonBindings(bind);
111
-
112
- bindContributionProvider(bind, TerminalContribution);
113
-
114
- // terminal link provider contribution point
115
- bindContributionProvider(bind, TerminalLinkProvider);
116
- bind(TerminalLinkProviderContribution).toSelf().inSingletonScope();
117
- bind(TerminalContribution).toService(TerminalLinkProviderContribution);
118
- bind(XtermLinkFactory).toFactory(createXtermLinkFactory);
119
-
120
- // default terminal link provider
121
- bind(UrlLinkProvider).toSelf().inSingletonScope();
122
- bind(TerminalLinkProvider).toService(UrlLinkProvider);
123
- bind(FileLinkProvider).toSelf().inSingletonScope();
124
- bind(TerminalLinkProvider).toService(FileLinkProvider);
125
- bind(FileDiffPreLinkProvider).toSelf().inSingletonScope();
126
- bind(TerminalLinkProvider).toService(FileDiffPreLinkProvider);
127
- bind(FileDiffPostLinkProvider).toSelf().inSingletonScope();
128
- bind(TerminalLinkProvider).toService(FileDiffPostLinkProvider);
129
-
130
- bind(ContributedTerminalProfileStore).to(DefaultProfileStore).inSingletonScope();
131
- bind(UserTerminalProfileStore).to(DefaultProfileStore).inSingletonScope();
132
- bind(TerminalProfileService).toDynamicValue(ctx => {
133
- const userStore = ctx.container.get<TerminalProfileStore>(UserTerminalProfileStore);
134
- const contributedStore = ctx.container.get<TerminalProfileStore>(ContributedTerminalProfileStore);
135
- return new DefaultTerminalProfileService(userStore, contributedStore);
136
- }).inSingletonScope();
137
-
138
- bind(FrontendApplicationContribution).to(TerminalFrontendContribution);
139
- });
1
+ // *****************************************************************************
2
+ // Copyright (C) 2017 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 WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import '../../src/browser/style/terminal.css';
18
+ import 'xterm/css/xterm.css';
19
+
20
+ import { ContainerModule, Container } from '@theia/core/shared/inversify';
21
+ import { CommandContribution, MenuContribution, nls } from '@theia/core/lib/common';
22
+ import { bindContributionProvider } from '@theia/core';
23
+ import { KeybindingContribution, WebSocketConnectionProvider, WidgetFactory, KeybindingContext, FrontendApplicationContribution } from '@theia/core/lib/browser';
24
+ import { TabBarToolbarContribution } from '@theia/core/lib/browser/shell/tab-bar-toolbar';
25
+ import { TerminalFrontendContribution } from './terminal-frontend-contribution';
26
+ import { TerminalWidgetImpl, TERMINAL_WIDGET_FACTORY_ID } from './terminal-widget-impl';
27
+ import { TerminalWidget, TerminalWidgetOptions } from './base/terminal-widget';
28
+ import { ITerminalServer, terminalPath } from '../common/terminal-protocol';
29
+ import { TerminalWatcher } from '../common/terminal-watcher';
30
+ import { IShellTerminalServer, shellTerminalPath, ShellTerminalServerProxy } from '../common/shell-terminal-protocol';
31
+ import { TerminalActiveContext, TerminalSearchVisibleContext } from './terminal-keybinding-contexts';
32
+ import { createCommonBindings } from '../common/terminal-common-module';
33
+ import { TerminalService } from './base/terminal-service';
34
+ import { bindTerminalPreferences } from './terminal-preferences';
35
+ import { TerminalContribution } from './terminal-contribution';
36
+ import { TerminalSearchWidgetFactory } from './search/terminal-search-widget';
37
+ import { TerminalQuickOpenService, TerminalQuickOpenContribution } from './terminal-quick-open-service';
38
+ import { createTerminalSearchFactory } from './search/terminal-search-container';
39
+ import { TerminalCopyOnSelectionHandler } from './terminal-copy-on-selection-handler';
40
+ import { ColorContribution } from '@theia/core/lib/browser/color-application-contribution';
41
+ import { TerminalThemeService } from './terminal-theme-service';
42
+ import { QuickAccessContribution } from '@theia/core/lib/browser/quick-input/quick-access';
43
+ import { createXtermLinkFactory, TerminalLinkProvider, TerminalLinkProviderContribution, XtermLinkFactory } from './terminal-link-provider';
44
+ import { UrlLinkProvider } from './terminal-url-link-provider';
45
+ import { FileDiffPostLinkProvider, FileDiffPreLinkProvider, FileLinkProvider } from './terminal-file-link-provider';
46
+ import {
47
+ ContributedTerminalProfileStore, DefaultProfileStore, DefaultTerminalProfileService,
48
+ TerminalProfileService, TerminalProfileStore, UserTerminalProfileStore
49
+ } from './terminal-profile-service';
50
+
51
+ export default new ContainerModule(bind => {
52
+ bindTerminalPreferences(bind);
53
+ bind(KeybindingContext).to(TerminalActiveContext).inSingletonScope();
54
+ bind(KeybindingContext).to(TerminalSearchVisibleContext).inSingletonScope();
55
+
56
+ bind(TerminalWidget).to(TerminalWidgetImpl).inTransientScope();
57
+ bind(TerminalWatcher).toSelf().inSingletonScope();
58
+
59
+ let terminalNum = 0;
60
+ bind(WidgetFactory).toDynamicValue(ctx => ({
61
+ id: TERMINAL_WIDGET_FACTORY_ID,
62
+ createWidget: (options: TerminalWidgetOptions) => {
63
+ const child = new Container({ defaultScope: 'Singleton' });
64
+ child.parent = ctx.container;
65
+ const counter = terminalNum++;
66
+ const domId = options.id || 'terminal-' + counter;
67
+ const widgetOptions: TerminalWidgetOptions = {
68
+ title: `${nls.localizeByDefault('Terminal')} ${counter}`,
69
+ useServerTitle: true,
70
+ destroyTermOnClose: true,
71
+ ...options
72
+ };
73
+ child.bind(TerminalWidgetOptions).toConstantValue(widgetOptions);
74
+ child.bind('terminal-dom-id').toConstantValue(domId);
75
+
76
+ child.bind(TerminalSearchWidgetFactory).toDynamicValue(context => createTerminalSearchFactory(context.container));
77
+
78
+ return child.get(TerminalWidget);
79
+ }
80
+ }));
81
+
82
+ bind(TerminalQuickOpenService).toSelf().inSingletonScope();
83
+ bind(TerminalCopyOnSelectionHandler).toSelf().inSingletonScope();
84
+
85
+ bind(TerminalQuickOpenContribution).toSelf().inSingletonScope();
86
+ for (const identifier of [CommandContribution, QuickAccessContribution]) {
87
+ bind(identifier).toService(TerminalQuickOpenContribution);
88
+ }
89
+
90
+ bind(TerminalThemeService).toSelf().inSingletonScope();
91
+ bind(TerminalFrontendContribution).toSelf().inSingletonScope();
92
+ bind(TerminalService).toService(TerminalFrontendContribution);
93
+ for (const identifier of [CommandContribution, MenuContribution, KeybindingContribution, TabBarToolbarContribution, ColorContribution]) {
94
+ bind(identifier).toService(TerminalFrontendContribution);
95
+ }
96
+
97
+ bind(ITerminalServer).toDynamicValue(ctx => {
98
+ const connection = ctx.container.get(WebSocketConnectionProvider);
99
+ const terminalWatcher = ctx.container.get(TerminalWatcher);
100
+ return connection.createProxy<ITerminalServer>(terminalPath, terminalWatcher.getTerminalClient());
101
+ }).inSingletonScope();
102
+
103
+ bind(ShellTerminalServerProxy).toDynamicValue(ctx => {
104
+ const connection = ctx.container.get(WebSocketConnectionProvider);
105
+ const terminalWatcher = ctx.container.get(TerminalWatcher);
106
+ return connection.createProxy<IShellTerminalServer>(shellTerminalPath, terminalWatcher.getTerminalClient());
107
+ }).inSingletonScope();
108
+ bind(IShellTerminalServer).toService(ShellTerminalServerProxy);
109
+
110
+ createCommonBindings(bind);
111
+
112
+ bindContributionProvider(bind, TerminalContribution);
113
+
114
+ // terminal link provider contribution point
115
+ bindContributionProvider(bind, TerminalLinkProvider);
116
+ bind(TerminalLinkProviderContribution).toSelf().inSingletonScope();
117
+ bind(TerminalContribution).toService(TerminalLinkProviderContribution);
118
+ bind(XtermLinkFactory).toFactory(createXtermLinkFactory);
119
+
120
+ // default terminal link provider
121
+ bind(UrlLinkProvider).toSelf().inSingletonScope();
122
+ bind(TerminalLinkProvider).toService(UrlLinkProvider);
123
+ bind(FileLinkProvider).toSelf().inSingletonScope();
124
+ bind(TerminalLinkProvider).toService(FileLinkProvider);
125
+ bind(FileDiffPreLinkProvider).toSelf().inSingletonScope();
126
+ bind(TerminalLinkProvider).toService(FileDiffPreLinkProvider);
127
+ bind(FileDiffPostLinkProvider).toSelf().inSingletonScope();
128
+ bind(TerminalLinkProvider).toService(FileDiffPostLinkProvider);
129
+
130
+ bind(ContributedTerminalProfileStore).to(DefaultProfileStore).inSingletonScope();
131
+ bind(UserTerminalProfileStore).to(DefaultProfileStore).inSingletonScope();
132
+ bind(TerminalProfileService).toDynamicValue(ctx => {
133
+ const userStore = ctx.container.get<TerminalProfileStore>(UserTerminalProfileStore);
134
+ const contributedStore = ctx.container.get<TerminalProfileStore>(ContributedTerminalProfileStore);
135
+ return new DefaultTerminalProfileService(userStore, contributedStore);
136
+ }).inSingletonScope();
137
+
138
+ bind(FrontendApplicationContribution).to(TerminalFrontendContribution);
139
+ });
@@ -1,52 +1,52 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2018 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 WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { injectable, inject } from '@theia/core/shared/inversify';
18
- import { KeybindingContext, ApplicationShell } from '@theia/core/lib/browser';
19
- import { TerminalWidget } from './base/terminal-widget';
20
-
21
- export namespace TerminalKeybindingContexts {
22
- export const terminalActive = 'terminalActive';
23
- export const terminalHideSearch = 'hideSearch';
24
- }
25
-
26
- @injectable()
27
- export class TerminalActiveContext implements KeybindingContext {
28
- readonly id: string = TerminalKeybindingContexts.terminalActive;
29
-
30
- @inject(ApplicationShell)
31
- protected readonly shell: ApplicationShell;
32
-
33
- isEnabled(): boolean {
34
- return this.shell.activeWidget instanceof TerminalWidget;
35
- }
36
- }
37
-
38
- @injectable()
39
- export class TerminalSearchVisibleContext implements KeybindingContext {
40
- readonly id: string = TerminalKeybindingContexts.terminalHideSearch;
41
-
42
- @inject(ApplicationShell)
43
- protected readonly shell: ApplicationShell;
44
-
45
- isEnabled(): boolean {
46
- if (!(this.shell.activeWidget instanceof TerminalWidget)) {
47
- return false;
48
- }
49
- const searchWidget = this.shell.activeWidget.getSearchBox();
50
- return searchWidget.isVisible;
51
- }
52
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2018 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 WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { injectable, inject } from '@theia/core/shared/inversify';
18
+ import { KeybindingContext, ApplicationShell } from '@theia/core/lib/browser';
19
+ import { TerminalWidget } from './base/terminal-widget';
20
+
21
+ export namespace TerminalKeybindingContexts {
22
+ export const terminalActive = 'terminalActive';
23
+ export const terminalHideSearch = 'hideSearch';
24
+ }
25
+
26
+ @injectable()
27
+ export class TerminalActiveContext implements KeybindingContext {
28
+ readonly id: string = TerminalKeybindingContexts.terminalActive;
29
+
30
+ @inject(ApplicationShell)
31
+ protected readonly shell: ApplicationShell;
32
+
33
+ isEnabled(): boolean {
34
+ return this.shell.activeWidget instanceof TerminalWidget;
35
+ }
36
+ }
37
+
38
+ @injectable()
39
+ export class TerminalSearchVisibleContext implements KeybindingContext {
40
+ readonly id: string = TerminalKeybindingContexts.terminalHideSearch;
41
+
42
+ @inject(ApplicationShell)
43
+ protected readonly shell: ApplicationShell;
44
+
45
+ isEnabled(): boolean {
46
+ if (!(this.shell.activeWidget instanceof TerminalWidget)) {
47
+ return false;
48
+ }
49
+ const searchWidget = this.shell.activeWidget.getSearchBox();
50
+ return searchWidget.isVisible;
51
+ }
52
+ }