@theia/editor 1.45.1 → 1.46.0-next.72
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.
- package/README.md +30 -30
- package/lib/browser/decorations/editor-decoration-style.d.ts +8 -8
- package/lib/browser/decorations/editor-decoration-style.js +36 -36
- package/lib/browser/decorations/editor-decoration.d.ts +106 -106
- package/lib/browser/decorations/editor-decoration.js +37 -37
- package/lib/browser/decorations/editor-decorator.d.ts +6 -6
- package/lib/browser/decorations/editor-decorator.js +43 -43
- package/lib/browser/decorations/index.d.ts +3 -3
- package/lib/browser/decorations/index.js +30 -30
- package/lib/browser/diff-navigator.d.ts +9 -10
- package/lib/browser/diff-navigator.d.ts.map +1 -1
- package/lib/browser/diff-navigator.js +19 -19
- package/lib/browser/diff-navigator.js.map +1 -1
- package/lib/browser/editor-command.d.ts +102 -102
- package/lib/browser/editor-command.js +426 -426
- package/lib/browser/editor-contribution.d.ts +26 -26
- package/lib/browser/editor-contribution.js +198 -198
- package/lib/browser/editor-frontend-module.d.ts +5 -5
- package/lib/browser/editor-frontend-module.js +74 -74
- package/lib/browser/editor-generated-preference-schema.d.ts +282 -249
- package/lib/browser/editor-generated-preference-schema.d.ts.map +1 -1
- package/lib/browser/editor-generated-preference-schema.js +2451 -2316
- package/lib/browser/editor-generated-preference-schema.js.map +1 -1
- package/lib/browser/editor-keybinding.d.ts +5 -5
- package/lib/browser/editor-keybinding.js +55 -55
- package/lib/browser/editor-linenumber-contribution.d.ts +15 -15
- package/lib/browser/editor-linenumber-contribution.d.ts.map +1 -1
- package/lib/browser/editor-linenumber-contribution.js +95 -96
- package/lib/browser/editor-linenumber-contribution.js.map +1 -1
- package/lib/browser/editor-manager.d.ts +115 -115
- package/lib/browser/editor-manager.js +428 -428
- package/lib/browser/editor-menu.d.ts +48 -48
- package/lib/browser/editor-menu.js +210 -210
- package/lib/browser/editor-navigation-contribution.d.ts +67 -67
- package/lib/browser/editor-navigation-contribution.js +343 -343
- package/lib/browser/editor-preferences.d.ts +41 -41
- package/lib/browser/editor-preferences.js +176 -176
- package/lib/browser/editor-variable-contribution.d.ts +8 -8
- package/lib/browser/editor-variable-contribution.js +64 -64
- package/lib/browser/editor-widget-factory.d.ts +17 -17
- package/lib/browser/editor-widget-factory.js +91 -91
- package/lib/browser/editor-widget.d.ts +24 -24
- package/lib/browser/editor-widget.d.ts.map +1 -1
- package/lib/browser/editor-widget.js +122 -114
- package/lib/browser/editor-widget.js.map +1 -1
- package/lib/browser/editor.d.ts +295 -293
- package/lib/browser/editor.d.ts.map +1 -1
- package/lib/browser/editor.js +103 -103
- package/lib/browser/editor.js.map +1 -1
- package/lib/browser/index.d.ts +10 -10
- package/lib/browser/index.js +37 -37
- package/lib/browser/language-status/editor-language-status-service.d.ts +77 -77
- package/lib/browser/language-status/editor-language-status-service.js +251 -251
- package/lib/browser/navigation/navigation-location-service.d.ts +103 -103
- package/lib/browser/navigation/navigation-location-service.js +281 -281
- package/lib/browser/navigation/navigation-location-service.spec.d.ts +1 -1
- package/lib/browser/navigation/navigation-location-service.spec.js +184 -184
- package/lib/browser/navigation/navigation-location-similarity.d.ts +15 -15
- package/lib/browser/navigation/navigation-location-similarity.js +62 -62
- package/lib/browser/navigation/navigation-location-similarity.spec.d.ts +1 -1
- package/lib/browser/navigation/navigation-location-similarity.spec.js +32 -32
- package/lib/browser/navigation/navigation-location-updater.d.ts +35 -35
- package/lib/browser/navigation/navigation-location-updater.js +210 -210
- package/lib/browser/navigation/navigation-location-updater.spec.d.ts +1 -1
- package/lib/browser/navigation/navigation-location-updater.spec.js +177 -177
- package/lib/browser/navigation/navigation-location.d.ts +191 -191
- package/lib/browser/navigation/navigation-location.js +300 -300
- package/lib/browser/navigation/test/mock-navigation-location-updater.d.ts +15 -15
- package/lib/browser/navigation/test/mock-navigation-location-updater.js +38 -38
- package/lib/browser/quick-editor-service.d.ts +16 -16
- package/lib/browser/quick-editor-service.js +109 -109
- package/lib/browser/undo-redo-service.d.ts +23 -23
- package/lib/browser/undo-redo-service.js +110 -110
- package/lib/common/language-selector.d.ts +13 -13
- package/lib/common/language-selector.js +90 -90
- package/lib/package.spec.js +25 -25
- package/package.json +5 -5
- package/src/browser/decorations/editor-decoration-style.ts +41 -41
- package/src/browser/decorations/editor-decoration.ts +127 -127
- package/src/browser/decorations/editor-decorator.ts +36 -36
- package/src/browser/decorations/index.ts +19 -19
- package/src/browser/diff-navigator.ts +27 -28
- package/src/browser/editor-command.ts +414 -414
- package/src/browser/editor-contribution.ts +185 -185
- package/src/browser/editor-frontend-module.ts +87 -87
- package/src/browser/editor-generated-preference-schema.ts +2707 -2539
- package/src/browser/editor-keybinding.ts +55 -55
- package/src/browser/editor-linenumber-contribution.ts +88 -89
- package/src/browser/editor-manager.ts +442 -442
- package/src/browser/editor-menu.ts +224 -224
- package/src/browser/editor-navigation-contribution.ts +343 -343
- package/src/browser/editor-preferences.ts +226 -226
- package/src/browser/editor-variable-contribution.ts +54 -54
- package/src/browser/editor-widget-factory.ts +82 -82
- package/src/browser/editor-widget.ts +137 -130
- package/src/browser/editor.ts +360 -358
- package/src/browser/index.ts +26 -26
- package/src/browser/language-status/editor-language-status-service.ts +271 -271
- package/src/browser/language-status/editor-language-status.css +101 -101
- package/src/browser/navigation/navigation-location-service.spec.ts +245 -245
- package/src/browser/navigation/navigation-location-service.ts +284 -284
- package/src/browser/navigation/navigation-location-similarity.spec.ts +46 -46
- package/src/browser/navigation/navigation-location-similarity.ts +58 -58
- package/src/browser/navigation/navigation-location-updater.spec.ts +197 -197
- package/src/browser/navigation/navigation-location-updater.ts +220 -220
- package/src/browser/navigation/navigation-location.ts +418 -418
- package/src/browser/navigation/test/mock-navigation-location-updater.ts +41 -41
- package/src/browser/quick-editor-service.ts +94 -94
- package/src/browser/style/index.css +19 -19
- package/src/browser/undo-redo-service.ts +120 -120
- package/src/common/language-selector.ts +104 -104
- package/src/package.spec.ts +28 -28
|
@@ -1,101 +1,101 @@
|
|
|
1
|
-
/********************************************************************************
|
|
2
|
-
* Copyright (C) 2022 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
|
-
/* Copied from https://github.com/microsoft/vscode/blob/7d9b1c37f8e5ae3772782ba3b09d827eb3fdd833/src/vs/workbench/contrib/languageStatus/browser/media/languageStatus.css */
|
|
18
|
-
|
|
19
|
-
.hover-language-status {
|
|
20
|
-
display: flex;
|
|
21
|
-
padding: 4px 8px;
|
|
22
|
-
}
|
|
23
|
-
|
|
24
|
-
.hover-language-status:not(:last-child) {
|
|
25
|
-
border-bottom: 1px solid var(--theia-notifications-border);
|
|
26
|
-
}
|
|
27
|
-
|
|
28
|
-
.hover-language-status > .severity {
|
|
29
|
-
padding-right: 8px;
|
|
30
|
-
flex: 1;
|
|
31
|
-
margin: auto;
|
|
32
|
-
display: none;
|
|
33
|
-
}
|
|
34
|
-
|
|
35
|
-
.hover-language-status > .severity.sev3 {
|
|
36
|
-
color: var(--theia-notificationsErrorIcon-foreground);
|
|
37
|
-
}
|
|
38
|
-
|
|
39
|
-
.hover-language-status > .severity.sev2 {
|
|
40
|
-
color: var(--theia-notificationsInfoIcon-foreground);
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
.hover-language-status > .severity.show {
|
|
44
|
-
display: inherit;
|
|
45
|
-
}
|
|
46
|
-
|
|
47
|
-
.hover-language-status > .element {
|
|
48
|
-
display: flex;
|
|
49
|
-
justify-content: space-between;
|
|
50
|
-
vertical-align: middle;
|
|
51
|
-
flex-grow: 100;
|
|
52
|
-
}
|
|
53
|
-
|
|
54
|
-
.hover-language-status > .element > .left > .detail:not(:empty)::before {
|
|
55
|
-
/* en-dash */
|
|
56
|
-
content: "–";
|
|
57
|
-
padding: 0 4px;
|
|
58
|
-
opacity: 0.6;
|
|
59
|
-
}
|
|
60
|
-
|
|
61
|
-
.hover-language-status > .element > .left > .label:empty {
|
|
62
|
-
display: none;
|
|
63
|
-
}
|
|
64
|
-
|
|
65
|
-
.hover-language-status > .element .left {
|
|
66
|
-
margin: auto 0;
|
|
67
|
-
}
|
|
68
|
-
|
|
69
|
-
.hover-language-status > .element .right {
|
|
70
|
-
margin: auto 0;
|
|
71
|
-
display: flex;
|
|
72
|
-
}
|
|
73
|
-
|
|
74
|
-
.hover-language-status > .element .right:not(:empty) {
|
|
75
|
-
padding-left: 16px;
|
|
76
|
-
}
|
|
77
|
-
|
|
78
|
-
.hover-language-status > .element .right .language-status-link {
|
|
79
|
-
margin: auto 0;
|
|
80
|
-
white-space: nowrap;
|
|
81
|
-
|
|
82
|
-
/* ADDED STYLES - NOT FROM VSCODE */
|
|
83
|
-
text-decoration: none;
|
|
84
|
-
}
|
|
85
|
-
|
|
86
|
-
/* ADDED STYLES - NOT FROM VSCODE */
|
|
87
|
-
.hover-language-status > .element .right .language-status-link:hover {
|
|
88
|
-
color: var(--theia-textLink-foreground);
|
|
89
|
-
}
|
|
90
|
-
|
|
91
|
-
.hover-language-status
|
|
92
|
-
> .element
|
|
93
|
-
.right
|
|
94
|
-
.language-status-action-bar:not(:first-child) {
|
|
95
|
-
padding-left: 8px;
|
|
96
|
-
}
|
|
97
|
-
|
|
98
|
-
/* ADDED STYLES - NOT FROM VSCODE */
|
|
99
|
-
.hover-language-status > .element .right .language-status-action-bar a {
|
|
100
|
-
color: var(--theia-editorHoverWidget-foreground);
|
|
101
|
-
}
|
|
1
|
+
/********************************************************************************
|
|
2
|
+
* Copyright (C) 2022 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
|
+
/* Copied from https://github.com/microsoft/vscode/blob/7d9b1c37f8e5ae3772782ba3b09d827eb3fdd833/src/vs/workbench/contrib/languageStatus/browser/media/languageStatus.css */
|
|
18
|
+
|
|
19
|
+
.hover-language-status {
|
|
20
|
+
display: flex;
|
|
21
|
+
padding: 4px 8px;
|
|
22
|
+
}
|
|
23
|
+
|
|
24
|
+
.hover-language-status:not(:last-child) {
|
|
25
|
+
border-bottom: 1px solid var(--theia-notifications-border);
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
.hover-language-status > .severity {
|
|
29
|
+
padding-right: 8px;
|
|
30
|
+
flex: 1;
|
|
31
|
+
margin: auto;
|
|
32
|
+
display: none;
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
.hover-language-status > .severity.sev3 {
|
|
36
|
+
color: var(--theia-notificationsErrorIcon-foreground);
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
.hover-language-status > .severity.sev2 {
|
|
40
|
+
color: var(--theia-notificationsInfoIcon-foreground);
|
|
41
|
+
}
|
|
42
|
+
|
|
43
|
+
.hover-language-status > .severity.show {
|
|
44
|
+
display: inherit;
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
.hover-language-status > .element {
|
|
48
|
+
display: flex;
|
|
49
|
+
justify-content: space-between;
|
|
50
|
+
vertical-align: middle;
|
|
51
|
+
flex-grow: 100;
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
.hover-language-status > .element > .left > .detail:not(:empty)::before {
|
|
55
|
+
/* en-dash */
|
|
56
|
+
content: "–";
|
|
57
|
+
padding: 0 4px;
|
|
58
|
+
opacity: 0.6;
|
|
59
|
+
}
|
|
60
|
+
|
|
61
|
+
.hover-language-status > .element > .left > .label:empty {
|
|
62
|
+
display: none;
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
.hover-language-status > .element .left {
|
|
66
|
+
margin: auto 0;
|
|
67
|
+
}
|
|
68
|
+
|
|
69
|
+
.hover-language-status > .element .right {
|
|
70
|
+
margin: auto 0;
|
|
71
|
+
display: flex;
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
.hover-language-status > .element .right:not(:empty) {
|
|
75
|
+
padding-left: 16px;
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
.hover-language-status > .element .right .language-status-link {
|
|
79
|
+
margin: auto 0;
|
|
80
|
+
white-space: nowrap;
|
|
81
|
+
|
|
82
|
+
/* ADDED STYLES - NOT FROM VSCODE */
|
|
83
|
+
text-decoration: none;
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
/* ADDED STYLES - NOT FROM VSCODE */
|
|
87
|
+
.hover-language-status > .element .right .language-status-link:hover {
|
|
88
|
+
color: var(--theia-textLink-foreground);
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
.hover-language-status
|
|
92
|
+
> .element
|
|
93
|
+
.right
|
|
94
|
+
.language-status-action-bar:not(:first-child) {
|
|
95
|
+
padding-left: 8px;
|
|
96
|
+
}
|
|
97
|
+
|
|
98
|
+
/* ADDED STYLES - NOT FROM VSCODE */
|
|
99
|
+
.hover-language-status > .element .right .language-status-action-bar a {
|
|
100
|
+
color: var(--theia-editorHoverWidget-foreground);
|
|
101
|
+
}
|