@theia/search-in-workspace 1.39.0-next.9 → 1.40.0

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 (51) hide show
  1. package/lib/browser/components/search-in-workspace-input.js +6 -3
  2. package/lib/browser/components/search-in-workspace-input.js.map +1 -1
  3. package/lib/browser/search-in-workspace-context-key-service.js +1 -1
  4. package/lib/browser/search-in-workspace-context-key-service.js.map +1 -1
  5. package/lib/browser/search-in-workspace-factory.js +1 -1
  6. package/lib/browser/search-in-workspace-factory.js.map +1 -1
  7. package/lib/browser/search-in-workspace-frontend-contribution.js +1 -1
  8. package/lib/browser/search-in-workspace-frontend-contribution.js.map +1 -1
  9. package/lib/browser/search-in-workspace-frontend-module.js +1 -1
  10. package/lib/browser/search-in-workspace-frontend-module.js.map +1 -1
  11. package/lib/browser/search-in-workspace-label-provider.js +1 -1
  12. package/lib/browser/search-in-workspace-label-provider.js.map +1 -1
  13. package/lib/browser/search-in-workspace-preferences.js +1 -1
  14. package/lib/browser/search-in-workspace-preferences.js.map +1 -1
  15. package/lib/browser/search-in-workspace-result-tree-widget.d.ts +1 -0
  16. package/lib/browser/search-in-workspace-result-tree-widget.d.ts.map +1 -1
  17. package/lib/browser/search-in-workspace-result-tree-widget.js +17 -4
  18. package/lib/browser/search-in-workspace-result-tree-widget.js.map +1 -1
  19. package/lib/browser/search-in-workspace-service.js +1 -1
  20. package/lib/browser/search-in-workspace-service.js.map +1 -1
  21. package/lib/browser/search-in-workspace-widget.js +7 -3
  22. package/lib/browser/search-in-workspace-widget.js.map +1 -1
  23. package/lib/browser/search-layout-migrations.js +1 -1
  24. package/lib/browser/search-layout-migrations.js.map +1 -1
  25. package/lib/common/search-in-workspace-interface.d.ts +2 -2
  26. package/lib/common/search-in-workspace-interface.d.ts.map +1 -1
  27. package/lib/common/search-in-workspace-interface.js +1 -1
  28. package/lib/common/search-in-workspace-interface.js.map +1 -1
  29. package/lib/node/ripgrep-search-in-workspace-server.js +1 -1
  30. package/lib/node/ripgrep-search-in-workspace-server.js.map +1 -1
  31. package/lib/node/ripgrep-search-in-workspace-server.slow-spec.js +1 -1
  32. package/lib/node/ripgrep-search-in-workspace-server.slow-spec.js.map +1 -1
  33. package/lib/node/search-in-workspace-backend-module.js +2 -2
  34. package/lib/node/search-in-workspace-backend-module.js.map +1 -1
  35. package/package.json +10 -10
  36. package/src/browser/components/search-in-workspace-input.tsx +1 -1
  37. package/src/browser/search-in-workspace-context-key-service.ts +1 -1
  38. package/src/browser/search-in-workspace-factory.ts +1 -1
  39. package/src/browser/search-in-workspace-frontend-contribution.ts +1 -1
  40. package/src/browser/search-in-workspace-frontend-module.ts +1 -1
  41. package/src/browser/search-in-workspace-label-provider.ts +1 -1
  42. package/src/browser/search-in-workspace-preferences.ts +1 -1
  43. package/src/browser/search-in-workspace-result-tree-widget.tsx +7 -3
  44. package/src/browser/search-in-workspace-service.ts +1 -1
  45. package/src/browser/search-in-workspace-widget.tsx +2 -2
  46. package/src/browser/search-layout-migrations.ts +1 -1
  47. package/src/browser/styles/index.css +178 -168
  48. package/src/common/search-in-workspace-interface.ts +3 -3
  49. package/src/node/ripgrep-search-in-workspace-server.slow-spec.ts +1 -1
  50. package/src/node/ripgrep-search-in-workspace-server.ts +1 -1
  51. package/src/node/search-in-workspace-backend-module.ts +3 -3
@@ -11,7 +11,7 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
17
  import { inject, injectable, postConstruct } from '@theia/core/shared/inversify';
@@ -33,7 +33,7 @@ import {
33
33
  codicon,
34
34
  TopDownTreeIterator
35
35
  } from '@theia/core/lib/browser';
36
- import { CancellationTokenSource, Emitter, Event, isWindows, ProgressService } from '@theia/core';
36
+ import { CancellationTokenSource, Emitter, EOL, Event, ProgressService } from '@theia/core';
37
37
  import {
38
38
  EditorManager, EditorDecoration, TrackedRangeStickiness, OverviewRulerLane,
39
39
  EditorWidget, EditorOpenerOptions, FindMatch
@@ -718,6 +718,10 @@ export class SearchInWorkspaceResultTreeWidget extends TreeWidget {
718
718
  };
719
719
  }
720
720
 
721
+ protected override getDepthPadding(depth: number): number {
722
+ return super.getDepthPadding(depth) + 5;
723
+ }
724
+
721
725
  protected override renderCaption(node: TreeNode, props: NodeProps): React.ReactNode {
722
726
  if (SearchInWorkspaceRootFolderNode.is(node)) {
723
727
  return this.renderRootFolderNode(node);
@@ -1210,7 +1214,7 @@ export class SearchInWorkspaceResultTreeWidget extends TreeWidget {
1210
1214
  strings.push(string);
1211
1215
  }
1212
1216
  }
1213
- return strings.join(isWindows ? '\r\n' : '\n');
1217
+ return strings.join(EOL);
1214
1218
  }
1215
1219
  }
1216
1220
 
@@ -11,7 +11,7 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
17
  import { injectable, inject, postConstruct } from '@theia/core/shared/inversify';
@@ -11,7 +11,7 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
17
  import { Widget, Message, BaseWidget, Key, StatefulWidget, MessageLoop, KeyCode, codicon } from '@theia/core/lib/browser';
@@ -563,7 +563,7 @@ export class SearchInWorkspaceWidget extends BaseWidget implements StatefulWidge
563
563
 
564
564
  protected renderOptionElement(opt: SearchFieldState): React.ReactNode {
565
565
  return <span
566
- className={`${opt.className} option ${opt.enabled ? 'enabled' : ''}`}
566
+ className={`${opt.className} option action-label ${opt.enabled ? 'enabled' : ''}`}
567
567
  title={opt.title}
568
568
  onClick={() => this.handleOptionClick(opt)}></span>;
569
569
  }
@@ -11,7 +11,7 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
17
  import { injectable } from '@theia/core/shared/inversify';
@@ -11,361 +11,371 @@
11
11
  * with the GNU Classpath Exception which is available at
12
12
  * https://www.gnu.org/software/classpath/license.html.
13
13
  *
14
- * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  ********************************************************************************/
16
16
 
17
17
  #search-in-workspace {
18
- height: 100%;
18
+ height: 100%;
19
19
  }
20
20
 
21
21
  #search-in-workspace .theia-TreeContainer.empty {
22
- overflow: hidden;
22
+ overflow: hidden;
23
23
  }
24
24
 
25
25
  .t-siw-search-container {
26
- padding: 5px ;
27
- display: flex;
28
- flex-direction: column;
29
- height: 100%;
30
- box-sizing: border-box;
26
+ padding: 0px 1px;
27
+ display: flex;
28
+ flex-direction: column;
29
+ height: 100%;
30
+ box-sizing: border-box;
31
31
  }
32
32
 
33
33
  .t-siw-search-container .theia-ExpansionToggle {
34
- padding-right: 4px;
35
- min-width: 6px;
34
+ padding-right: 4px;
35
+ min-width: 6px;
36
36
  }
37
37
 
38
38
  .t-siw-search-container .theia-input {
39
- flex: 1;
40
- line-height: var(--theia-content-line-height);
41
- padding: 3px 0 3px 4px;
39
+ flex: 1;
40
+ line-height: var(--theia-content-line-height);
41
+ padding: 3px 0 3px 4px;
42
42
  }
43
43
 
44
44
  .t-siw-search-container #search-input-field:focus {
45
- border: none;
46
- outline: none;
45
+ border: none;
46
+ outline: none;
47
47
  }
48
48
 
49
49
  .t-siw-search-container #search-input-field {
50
- background: none;
51
- border: none;
50
+ background: none;
51
+ border: none;
52
52
  }
53
53
 
54
54
  .t-siw-search-container .searchHeader {
55
- width: 100%;
56
- margin-bottom: 10px;
55
+ padding: 5px 5px 15px 2px;
57
56
  }
58
57
 
59
58
  .t-siw-search-container .searchHeader .controls.button-container {
60
- height: var(--theia-content-line-height);
61
- margin-bottom: 5px;
59
+ height: var(--theia-content-line-height);
60
+ margin-bottom: 5px;
62
61
  }
63
62
 
64
63
  .t-siw-search-container .searchHeader .search-field-container {
65
- background: var(--theia-input-background);
66
- border-style: solid;
67
- border-width: var(--theia-border-width);
68
- border-color: var(--theia-input-background);
64
+ background: var(--theia-input-background);
65
+ border-style: solid;
66
+ border-width: var(--theia-border-width);
67
+ border-color: var(--theia-input-background);
68
+ border-radius: 2px;
69
69
  }
70
70
 
71
71
  .t-siw-search-container .searchHeader .search-field-container.focused {
72
- border-color: var(--theia-focusBorder);
72
+ border-color: var(--theia-focusBorder);
73
73
  }
74
74
 
75
75
  .t-siw-search-container .searchHeader .search-field {
76
- display: flex;
77
- align-items: center;
76
+ display: flex;
77
+ align-items: center;
78
78
  }
79
79
 
80
80
  .t-siw-search-container .searchHeader .search-field:focus {
81
- border: none;
82
- outline: none;
81
+ border: none;
82
+ outline: none;
83
83
  }
84
84
 
85
85
  .t-siw-search-container .searchHeader .search-field .option {
86
- opacity: 0.7;
87
- cursor: pointer;
86
+ opacity: 0.7;
87
+ cursor: pointer;
88
88
  }
89
89
 
90
90
  .t-siw-search-container .searchHeader .search-field .option.enabled {
91
- border: var(--theia-border-width) var(--theia-inputOption-activeBorder) solid;
92
- background-color: var(--theia-inputOption-activeBackground);
91
+ color: var(--theia-inputOption-activeForeground);
92
+ border: var(--theia-border-width) var(--theia-inputOption-activeBorder) solid;
93
+ background-color: var(--theia-inputOption-activeBackground);
94
+ opacity: 1;
93
95
  }
94
96
 
95
97
  .t-siw-search-container .searchHeader .search-field .option:hover {
96
- opacity: 1;
98
+ opacity: 1;
97
99
  }
98
100
 
99
101
  .t-siw-search-container .searchHeader .search-field .option-buttons {
100
- height: 23px;
101
- display: flex;
102
- align-items: center;
103
- background-color: none;
102
+ height: 23px;
103
+ display: flex;
104
+ align-items: center;
105
+ background-color: none;
104
106
  }
105
107
 
106
108
  .t-siw-search-container .searchHeader .search-field-container.tooManyResults {
107
- border-style: solid;
108
- border-width: var(--theia-border-width);
109
- margin: -1px;
110
- border-color: var(--theia-inputValidation-warningBorder);
109
+ border-style: solid;
110
+ border-width: var(--theia-border-width);
111
+ margin: -1px;
112
+ border-color: var(--theia-inputValidation-warningBorder);
111
113
  }
112
114
 
113
- .t-siw-search-container .searchHeader .search-field-container .search-notification {
114
- height: 0;
115
- display: none;
116
- width: 100%;
117
- position: relative;
115
+ .t-siw-search-container
116
+ .searchHeader
117
+ .search-field-container
118
+ .search-notification {
119
+ height: 0;
120
+ display: none;
121
+ width: 100%;
122
+ position: relative;
118
123
  }
119
124
 
120
- .t-siw-search-container .searchHeader .search-field-container.focused .search-notification.show {
121
- display: block;
125
+ .t-siw-search-container
126
+ .searchHeader
127
+ .search-field-container.focused
128
+ .search-notification.show {
129
+ display: block;
122
130
  }
123
131
 
124
- .t-siw-search-container .searchHeader .search-notification div{
125
- background-color: var(--theia-inputValidation-warningBackground);
126
- width: calc(100% + 2px);
127
- margin-left: -1px;
128
- color: var(--theia-inputValidation-warningForeground);
129
- z-index: 1000;
130
- position: absolute;
131
- border: 1px solid var(--theia-inputValidation-warningBorder);
132
- box-sizing: border-box;
133
- padding: 3px;
132
+ .t-siw-search-container .searchHeader .search-notification div {
133
+ background-color: var(--theia-inputValidation-warningBackground);
134
+ width: calc(100% + 2px);
135
+ margin-left: -1px;
136
+ color: var(--theia-inputValidation-warningForeground);
137
+ z-index: 1000;
138
+ position: absolute;
139
+ border: 1px solid var(--theia-inputValidation-warningBorder);
140
+ box-sizing: border-box;
141
+ padding: 3px;
134
142
  }
135
143
 
136
144
  .t-siw-search-container .searchHeader .button-container {
137
- text-align: center;
138
- display: flex;
139
- justify-content: center;
145
+ text-align: center;
146
+ display: flex;
147
+ justify-content: center;
140
148
  }
141
149
 
142
150
  .t-siw-search-container .searchHeader .search-field .option,
143
151
  .t-siw-search-container .searchHeader .button-container .btn {
144
- width: 21px;
145
- height: 21px;
146
- margin: 0 1px;
147
- display: inline-block;
148
- box-sizing: border-box;
149
- align-items: center;
150
- user-select: none;
151
- background-repeat: no-repeat;
152
- background-position: center;
153
- border: var(--theia-border-width) solid transparent;
152
+ width: 21px;
153
+ height: 21px;
154
+ margin: 0 1px;
155
+ display: inline-block;
156
+ box-sizing: border-box;
157
+ align-items: center;
158
+ user-select: none;
159
+ background-repeat: no-repeat;
160
+ background-position: center;
161
+ border: var(--theia-border-width) solid transparent;
154
162
  }
155
163
 
156
164
  .t-siw-search-container .searchHeader .search-field .fa.option {
157
- display: flex;
158
- align-items: center;
159
- justify-content: center;
165
+ display: flex;
166
+ align-items: center;
167
+ justify-content: center;
160
168
  }
161
169
 
162
170
  .t-siw-search-container .searchHeader .search-details {
163
- position: relative;
164
- padding-top: 5px;
171
+ position: relative;
172
+ padding-top: 5px;
165
173
  }
166
174
 
167
175
  .t-siw-search-container .searchHeader .search-details .button-container {
168
- position: absolute;
169
- width: 25px;
170
- top:0;
171
- right:0;
172
- cursor: pointer;
176
+ position: absolute;
177
+ width: 25px;
178
+ top: 0;
179
+ right: 0;
180
+ cursor: pointer;
173
181
  }
174
182
 
175
183
  .t-siw-search-container .searchHeader .glob-field-container.hidden {
176
- display: none;
184
+ display: none;
177
185
  }
178
186
 
179
187
  .t-siw-search-container .searchHeader .glob-field-container .glob-field {
180
- margin-bottom: 8px;
181
- margin-left: 18px;
182
- display: flex;
183
- flex-direction: column;
188
+ margin-bottom: 8px;
189
+ margin-left: 18px;
190
+ display: flex;
191
+ flex-direction: column;
184
192
  }
185
193
 
186
194
  .t-siw-search-container .searchHeader .glob-field-container .glob-field .label {
187
- margin-bottom: 3px;
188
- user-select: none;
189
- font-size: var(--theia-ui-font-size0);
195
+ margin-bottom: 3px;
196
+ user-select: none;
197
+ font-size: var(--theia-ui-font-size0);
190
198
  }
191
199
 
192
- .t-siw-search-container .searchHeader .glob-field-container .glob-field .theia-input:not(:focus)::placeholder {
193
- color: transparent;
200
+ .t-siw-search-container
201
+ .searchHeader
202
+ .glob-field-container
203
+ .glob-field
204
+ .theia-input:not(:focus)::placeholder {
205
+ color: transparent;
194
206
  }
195
207
 
196
208
  .t-siw-search-container .resultContainer {
197
- height: 100%;
198
- margin-left: 13px;
209
+ height: 100%;
199
210
  }
200
211
 
201
212
  .t-siw-search-container .result {
202
- overflow: hidden;
203
- width: 100%;
204
- flex: 1;
213
+ overflow: hidden;
214
+ width: 100%;
215
+ flex: 1;
205
216
  }
206
217
 
207
218
  .t-siw-search-container .result .result-head {
208
- display:flex;
219
+ display: flex;
209
220
  }
210
221
 
211
222
  .t-siw-search-container .result .result-head .fa,
212
223
  .t-siw-search-container .result .result-head .theia-file-icons-js {
213
- margin: 0 3px;
224
+ margin: 0 3px;
214
225
  }
215
226
 
216
227
  .t-siw-search-container .result .result-head .file-name {
217
- margin-right: 5px;
228
+ margin-right: 5px;
218
229
  }
219
230
 
220
231
  .t-siw-search-container .result .result-head .file-path {
221
- font-size: var(--theia-ui-font-size0);
222
- margin-left: 3px;
232
+ font-size: var(--theia-ui-font-size0);
233
+ margin-left: 3px;
223
234
  }
224
235
 
225
236
  .t-siw-search-container .resultLine .match {
226
- line-height: normal;
227
- white-space: pre;
228
- background: var(--theia-editor-findMatchHighlightBackground);
229
- border: 1px solid var(--theia-editor-findMatchHighlightBorder);
237
+ line-height: normal;
238
+ white-space: pre;
239
+ background: var(--theia-editor-findMatchHighlightBackground);
240
+ border: 1px solid var(--theia-editor-findMatchHighlightBorder);
230
241
  }
231
242
  .theia-hc .t-siw-search-container .resultLine .match {
232
- border-style: dashed;
243
+ border-style: dashed;
233
244
  }
234
245
 
235
246
  .t-siw-search-container .resultLine .match.strike-through {
236
- text-decoration: line-through;
237
- background: var(--theia-diffEditor-removedTextBackground);
238
- border-color: var(--theia-diffEditor-removedTextBorder);
247
+ text-decoration: line-through;
248
+ background: var(--theia-diffEditor-removedTextBackground);
249
+ border-color: var(--theia-diffEditor-removedTextBorder);
239
250
  }
240
251
 
241
252
  .t-siw-search-container .resultLine .replace-term {
242
- background: var(--theia-diffEditor-insertedTextBackground);
243
- border: 1px solid var(--theia-diffEditor-insertedTextBorder);
253
+ background: var(--theia-diffEditor-insertedTextBackground);
254
+ border: 1px solid var(--theia-diffEditor-insertedTextBorder);
244
255
  }
245
- .theia-hc
246
- .t-siw-search-container .resultLine .replace-term {
247
- border-style: dashed;
256
+ .theia-hc .t-siw-search-container .resultLine .replace-term {
257
+ border-style: dashed;
248
258
  }
249
259
 
250
260
  .t-siw-search-container .noWrapInfo {
251
- width: 100%;
261
+ width: 100%;
252
262
  }
253
263
 
254
264
  .t-siw-search-container .result-head-info {
255
- display: inline-flex;
256
- align-items: center;
265
+ display: inline-flex;
266
+ align-items: center;
257
267
  }
258
268
 
259
269
  .search-in-workspace-editor-match {
260
- background: var(--theia-editor-findMatchHighlightBackground);
270
+ background: var(--theia-editor-findMatchHighlightBackground);
261
271
  }
262
272
 
263
273
  .current-search-in-workspace-editor-match {
264
- background: var(--theia-editor-findMatchBackground)
274
+ background: var(--theia-editor-findMatchBackground);
265
275
  }
266
276
 
267
277
  .current-match-range-highlight {
268
- background: var(--theia-editor-findRangeHighlightBackground);
278
+ background: var(--theia-editor-findRangeHighlightBackground);
269
279
  }
270
280
 
271
281
  .result-node-buttons {
272
- display: none;
282
+ display: none;
273
283
  }
274
284
 
275
285
  .theia-TreeNode:hover .result-node-buttons {
276
- display: flex;
277
- justify-content: flex-end;
278
- align-items: center;
279
- align-self: center;
286
+ display: flex;
287
+ justify-content: flex-end;
288
+ align-items: center;
289
+ align-self: center;
280
290
  }
281
291
 
282
292
  .theia-TreeNode:hover .result-head .notification-count-container {
283
- display: none;
293
+ display: none;
284
294
  }
285
295
 
286
296
  .result-node-buttons > span {
287
- width: 15px;
288
- height: 15px;
289
- margin-left: 2.5px;
290
- margin-right: 0.5px;
291
- background-repeat: no-repeat;
292
- background-position: center;
293
- background-size: contain;
297
+ width: 15px;
298
+ height: 15px;
299
+ margin-left: 2.5px;
300
+ margin-right: 0.5px;
301
+ background-repeat: no-repeat;
302
+ background-position: center;
303
+ background-size: contain;
294
304
  }
295
305
 
296
306
  .search-and-replace-container {
297
- display: flex;
307
+ display: flex;
298
308
  }
299
309
 
300
310
  .replace-toggle {
301
- display: flex;
302
- align-items: center;
303
- width: 16px;
304
- min-width: 16px;
305
- justify-content: center;
306
- margin-right: 2px;
307
- box-sizing: border-box;
311
+ display: flex;
312
+ align-items: center;
313
+ width: 16px;
314
+ min-width: 16px;
315
+ justify-content: center;
316
+ margin-right: 2px;
317
+ box-sizing: border-box;
308
318
  }
309
319
 
310
320
  .theia-side-panel .replace-toggle {
311
- width: 16px;
312
- min-width: 16px;
321
+ width: 16px;
322
+ min-width: 16px;
313
323
  }
314
324
 
315
325
  .theia-side-panel .replace-toggle .codicon {
316
- padding: 0px;
326
+ padding: 0px;
317
327
  }
318
328
 
319
329
  .replace-toggle:hover {
320
- background: rgba(50%, 50%, 50%, 0.2);
330
+ background: rgba(50%, 50%, 50%, 0.2);
321
331
  }
322
332
 
323
333
  .search-and-replace-fields {
324
- display: flex;
325
- flex-direction: column;
326
- flex: 1;
334
+ display: flex;
335
+ flex-direction: column;
336
+ flex: 1;
327
337
  }
328
338
 
329
339
  .replace-field {
330
- display: flex;
331
- margin-top: 5px;
340
+ display: flex;
341
+ margin-top: 5px;
332
342
  }
333
343
 
334
344
  .replace-field.hidden {
335
- display: none;
345
+ display: none;
336
346
  }
337
347
 
338
348
  .replace-all-button-container {
339
- width: 25px;
340
- display: flex;
341
- align-items: center;
342
- justify-content: center;
349
+ width: 25px;
350
+ display: flex;
351
+ align-items: center;
352
+ justify-content: center;
343
353
  }
344
354
 
345
355
  .result-node-buttons .replace-result {
346
- background-image: var(--theia-icon-replace);
356
+ background-image: var(--theia-icon-replace);
347
357
  }
348
358
  .result-node-buttons .replace-all-result {
349
- background-image: var(--theia-icon-replace-all);
359
+ background-image: var(--theia-icon-replace-all);
350
360
  }
351
361
 
352
362
  .replace-all-button-container .action-label.disabled {
353
- opacity: var(--theia-mod-disabled-opacity);
354
- background: transparent;
355
- cursor: default;
363
+ opacity: var(--theia-mod-disabled-opacity);
364
+ background: transparent;
365
+ cursor: default;
356
366
  }
357
367
 
358
368
  .highlighted-count-container {
359
- background-color: var(--theia-list-activeSelectionBackground);
360
- color: var(--theia-list-activeSelectionForeground);
369
+ background-color: var(--theia-list-activeSelectionBackground);
370
+ color: var(--theia-list-activeSelectionForeground);
361
371
  }
362
372
 
363
373
  .t-siw-search-container .searchHeader .search-info {
364
- color: var(--theia-descriptionForeground);
365
- margin-left: 17px;
374
+ color: var(--theia-descriptionForeground);
375
+ margin-left: 17px;
366
376
  }
367
377
 
368
378
  .theia-siw-lineNumber {
369
- opacity: .7;
370
- padding-right: 4px;
379
+ opacity: 0.7;
380
+ padding-right: 4px;
371
381
  }
@@ -11,10 +11,10 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
- import { JsonRpcServer } from '@theia/core';
17
+ import { RpcServer } from '@theia/core';
18
18
 
19
19
  export interface SearchInWorkspaceOptions {
20
20
  /**
@@ -134,7 +134,7 @@ export interface SearchInWorkspaceClient {
134
134
 
135
135
  export const SIW_WS_PATH = '/services/search-in-workspace';
136
136
  export const SearchInWorkspaceServer = Symbol('SearchInWorkspaceServer');
137
- export interface SearchInWorkspaceServer extends JsonRpcServer<SearchInWorkspaceClient> {
137
+ export interface SearchInWorkspaceServer extends RpcServer<SearchInWorkspaceClient> {
138
138
  /**
139
139
  * Start a search for WHAT in directories ROOTURIS. Return a unique search id.
140
140
  */
@@ -11,7 +11,7 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
17
  import { Container } from '@theia/core/shared/inversify';
@@ -11,7 +11,7 @@
11
11
  // with the GNU Classpath Exception which is available at
12
12
  // https://www.gnu.org/software/classpath/license.html.
13
13
  //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
15
  // *****************************************************************************
16
16
 
17
17
  import * as fs from '@theia/core/shared/fs-extra';