@theia/editor 1.45.0 → 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
package/lib/browser/editor.js
CHANGED
|
@@ -1,104 +1,104 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2018 TypeFox and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
18
|
-
exports.CustomEditorWidget = exports.TextEditorSelection = exports.MouseTargetType = exports.TextDocumentContentChangeDelta = exports.TextEditorProvider = exports.Location = exports.Range = exports.Position = void 0;
|
|
19
|
-
const vscode_languageserver_protocol_1 = require("@theia/core/shared/vscode-languageserver-protocol");
|
|
20
|
-
Object.defineProperty(exports, "Position", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Position; } });
|
|
21
|
-
Object.defineProperty(exports, "Range", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Range; } });
|
|
22
|
-
Object.defineProperty(exports, "Location", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Location; } });
|
|
23
|
-
const uri_1 = require("@theia/core/lib/common/uri");
|
|
24
|
-
const common_1 = require("@theia/core/lib/common");
|
|
25
|
-
Object.defineProperty(exports, "TextDocumentContentChangeDelta", { enumerable: true, get: function () { return common_1.TextDocumentContentChangeDelta; } });
|
|
26
|
-
exports.TextEditorProvider = Symbol('TextEditorProvider');
|
|
27
|
-
/**
|
|
28
|
-
* Type of hit element with the mouse in the editor.
|
|
29
|
-
* Copied from monaco editor.
|
|
30
|
-
*/
|
|
31
|
-
var MouseTargetType;
|
|
32
|
-
(function (MouseTargetType) {
|
|
33
|
-
/**
|
|
34
|
-
* Mouse is on top of an unknown element.
|
|
35
|
-
*/
|
|
36
|
-
MouseTargetType[MouseTargetType["UNKNOWN"] = 0] = "UNKNOWN";
|
|
37
|
-
/**
|
|
38
|
-
* Mouse is on top of the textarea used for input.
|
|
39
|
-
*/
|
|
40
|
-
MouseTargetType[MouseTargetType["TEXTAREA"] = 1] = "TEXTAREA";
|
|
41
|
-
/**
|
|
42
|
-
* Mouse is on top of the glyph margin
|
|
43
|
-
*/
|
|
44
|
-
MouseTargetType[MouseTargetType["GUTTER_GLYPH_MARGIN"] = 2] = "GUTTER_GLYPH_MARGIN";
|
|
45
|
-
/**
|
|
46
|
-
* Mouse is on top of the line numbers
|
|
47
|
-
*/
|
|
48
|
-
MouseTargetType[MouseTargetType["GUTTER_LINE_NUMBERS"] = 3] = "GUTTER_LINE_NUMBERS";
|
|
49
|
-
/**
|
|
50
|
-
* Mouse is on top of the line decorations
|
|
51
|
-
*/
|
|
52
|
-
MouseTargetType[MouseTargetType["GUTTER_LINE_DECORATIONS"] = 4] = "GUTTER_LINE_DECORATIONS";
|
|
53
|
-
/**
|
|
54
|
-
* Mouse is on top of the whitespace left in the gutter by a view zone.
|
|
55
|
-
*/
|
|
56
|
-
MouseTargetType[MouseTargetType["GUTTER_VIEW_ZONE"] = 5] = "GUTTER_VIEW_ZONE";
|
|
57
|
-
/**
|
|
58
|
-
* Mouse is on top of text in the content.
|
|
59
|
-
*/
|
|
60
|
-
MouseTargetType[MouseTargetType["CONTENT_TEXT"] = 6] = "CONTENT_TEXT";
|
|
61
|
-
/**
|
|
62
|
-
* Mouse is on top of empty space in the content (e.g. after line text or below last line)
|
|
63
|
-
*/
|
|
64
|
-
MouseTargetType[MouseTargetType["CONTENT_EMPTY"] = 7] = "CONTENT_EMPTY";
|
|
65
|
-
/**
|
|
66
|
-
* Mouse is on top of a view zone in the content.
|
|
67
|
-
*/
|
|
68
|
-
MouseTargetType[MouseTargetType["CONTENT_VIEW_ZONE"] = 8] = "CONTENT_VIEW_ZONE";
|
|
69
|
-
/**
|
|
70
|
-
* Mouse is on top of a content widget.
|
|
71
|
-
*/
|
|
72
|
-
MouseTargetType[MouseTargetType["CONTENT_WIDGET"] = 9] = "CONTENT_WIDGET";
|
|
73
|
-
/**
|
|
74
|
-
* Mouse is on top of the decorations overview ruler.
|
|
75
|
-
*/
|
|
76
|
-
MouseTargetType[MouseTargetType["OVERVIEW_RULER"] = 10] = "OVERVIEW_RULER";
|
|
77
|
-
/**
|
|
78
|
-
* Mouse is on top of a scrollbar.
|
|
79
|
-
*/
|
|
80
|
-
MouseTargetType[MouseTargetType["SCROLLBAR"] = 11] = "SCROLLBAR";
|
|
81
|
-
/**
|
|
82
|
-
* Mouse is on top of an overlay widget.
|
|
83
|
-
*/
|
|
84
|
-
MouseTargetType[MouseTargetType["OVERLAY_WIDGET"] = 12] = "OVERLAY_WIDGET";
|
|
85
|
-
/**
|
|
86
|
-
* Mouse is outside of the editor.
|
|
87
|
-
*/
|
|
88
|
-
MouseTargetType[MouseTargetType["OUTSIDE_EDITOR"] = 13] = "OUTSIDE_EDITOR";
|
|
89
|
-
})(MouseTargetType = exports.MouseTargetType || (exports.MouseTargetType = {}));
|
|
90
|
-
var TextEditorSelection;
|
|
91
|
-
(function (TextEditorSelection) {
|
|
92
|
-
function is(arg) {
|
|
93
|
-
return (0, common_1.isObject)(arg) && arg.uri instanceof uri_1.default;
|
|
94
|
-
}
|
|
95
|
-
TextEditorSelection.is = is;
|
|
96
|
-
})(TextEditorSelection = exports.TextEditorSelection || (exports.TextEditorSelection = {}));
|
|
97
|
-
var CustomEditorWidget;
|
|
98
|
-
(function (CustomEditorWidget) {
|
|
99
|
-
function is(arg) {
|
|
100
|
-
return !!arg && 'modelRef' in arg;
|
|
101
|
-
}
|
|
102
|
-
CustomEditorWidget.is = is;
|
|
103
|
-
})(CustomEditorWidget = exports.CustomEditorWidget || (exports.CustomEditorWidget = {}));
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2018 TypeFox and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
18
|
+
exports.CustomEditorWidget = exports.TextEditorSelection = exports.MouseTargetType = exports.TextDocumentContentChangeDelta = exports.TextEditorProvider = exports.Location = exports.Range = exports.Position = void 0;
|
|
19
|
+
const vscode_languageserver_protocol_1 = require("@theia/core/shared/vscode-languageserver-protocol");
|
|
20
|
+
Object.defineProperty(exports, "Position", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Position; } });
|
|
21
|
+
Object.defineProperty(exports, "Range", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Range; } });
|
|
22
|
+
Object.defineProperty(exports, "Location", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Location; } });
|
|
23
|
+
const uri_1 = require("@theia/core/lib/common/uri");
|
|
24
|
+
const common_1 = require("@theia/core/lib/common");
|
|
25
|
+
Object.defineProperty(exports, "TextDocumentContentChangeDelta", { enumerable: true, get: function () { return common_1.TextDocumentContentChangeDelta; } });
|
|
26
|
+
exports.TextEditorProvider = Symbol('TextEditorProvider');
|
|
27
|
+
/**
|
|
28
|
+
* Type of hit element with the mouse in the editor.
|
|
29
|
+
* Copied from monaco editor.
|
|
30
|
+
*/
|
|
31
|
+
var MouseTargetType;
|
|
32
|
+
(function (MouseTargetType) {
|
|
33
|
+
/**
|
|
34
|
+
* Mouse is on top of an unknown element.
|
|
35
|
+
*/
|
|
36
|
+
MouseTargetType[MouseTargetType["UNKNOWN"] = 0] = "UNKNOWN";
|
|
37
|
+
/**
|
|
38
|
+
* Mouse is on top of the textarea used for input.
|
|
39
|
+
*/
|
|
40
|
+
MouseTargetType[MouseTargetType["TEXTAREA"] = 1] = "TEXTAREA";
|
|
41
|
+
/**
|
|
42
|
+
* Mouse is on top of the glyph margin
|
|
43
|
+
*/
|
|
44
|
+
MouseTargetType[MouseTargetType["GUTTER_GLYPH_MARGIN"] = 2] = "GUTTER_GLYPH_MARGIN";
|
|
45
|
+
/**
|
|
46
|
+
* Mouse is on top of the line numbers
|
|
47
|
+
*/
|
|
48
|
+
MouseTargetType[MouseTargetType["GUTTER_LINE_NUMBERS"] = 3] = "GUTTER_LINE_NUMBERS";
|
|
49
|
+
/**
|
|
50
|
+
* Mouse is on top of the line decorations
|
|
51
|
+
*/
|
|
52
|
+
MouseTargetType[MouseTargetType["GUTTER_LINE_DECORATIONS"] = 4] = "GUTTER_LINE_DECORATIONS";
|
|
53
|
+
/**
|
|
54
|
+
* Mouse is on top of the whitespace left in the gutter by a view zone.
|
|
55
|
+
*/
|
|
56
|
+
MouseTargetType[MouseTargetType["GUTTER_VIEW_ZONE"] = 5] = "GUTTER_VIEW_ZONE";
|
|
57
|
+
/**
|
|
58
|
+
* Mouse is on top of text in the content.
|
|
59
|
+
*/
|
|
60
|
+
MouseTargetType[MouseTargetType["CONTENT_TEXT"] = 6] = "CONTENT_TEXT";
|
|
61
|
+
/**
|
|
62
|
+
* Mouse is on top of empty space in the content (e.g. after line text or below last line)
|
|
63
|
+
*/
|
|
64
|
+
MouseTargetType[MouseTargetType["CONTENT_EMPTY"] = 7] = "CONTENT_EMPTY";
|
|
65
|
+
/**
|
|
66
|
+
* Mouse is on top of a view zone in the content.
|
|
67
|
+
*/
|
|
68
|
+
MouseTargetType[MouseTargetType["CONTENT_VIEW_ZONE"] = 8] = "CONTENT_VIEW_ZONE";
|
|
69
|
+
/**
|
|
70
|
+
* Mouse is on top of a content widget.
|
|
71
|
+
*/
|
|
72
|
+
MouseTargetType[MouseTargetType["CONTENT_WIDGET"] = 9] = "CONTENT_WIDGET";
|
|
73
|
+
/**
|
|
74
|
+
* Mouse is on top of the decorations overview ruler.
|
|
75
|
+
*/
|
|
76
|
+
MouseTargetType[MouseTargetType["OVERVIEW_RULER"] = 10] = "OVERVIEW_RULER";
|
|
77
|
+
/**
|
|
78
|
+
* Mouse is on top of a scrollbar.
|
|
79
|
+
*/
|
|
80
|
+
MouseTargetType[MouseTargetType["SCROLLBAR"] = 11] = "SCROLLBAR";
|
|
81
|
+
/**
|
|
82
|
+
* Mouse is on top of an overlay widget.
|
|
83
|
+
*/
|
|
84
|
+
MouseTargetType[MouseTargetType["OVERLAY_WIDGET"] = 12] = "OVERLAY_WIDGET";
|
|
85
|
+
/**
|
|
86
|
+
* Mouse is outside of the editor.
|
|
87
|
+
*/
|
|
88
|
+
MouseTargetType[MouseTargetType["OUTSIDE_EDITOR"] = 13] = "OUTSIDE_EDITOR";
|
|
89
|
+
})(MouseTargetType = exports.MouseTargetType || (exports.MouseTargetType = {}));
|
|
90
|
+
var TextEditorSelection;
|
|
91
|
+
(function (TextEditorSelection) {
|
|
92
|
+
function is(arg) {
|
|
93
|
+
return (0, common_1.isObject)(arg) && arg.uri instanceof uri_1.default;
|
|
94
|
+
}
|
|
95
|
+
TextEditorSelection.is = is;
|
|
96
|
+
})(TextEditorSelection = exports.TextEditorSelection || (exports.TextEditorSelection = {}));
|
|
97
|
+
var CustomEditorWidget;
|
|
98
|
+
(function (CustomEditorWidget) {
|
|
99
|
+
function is(arg) {
|
|
100
|
+
return !!arg && 'modelRef' in arg;
|
|
101
|
+
}
|
|
102
|
+
CustomEditorWidget.is = is;
|
|
103
|
+
})(CustomEditorWidget = exports.CustomEditorWidget || (exports.CustomEditorWidget = {}));
|
|
104
104
|
//# sourceMappingURL=editor.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"editor.js","sourceRoot":"","sources":["../../src/browser/editor.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAEhF,sGAA8F;
|
|
1
|
+
{"version":3,"file":"editor.js","sourceRoot":"","sources":["../../src/browser/editor.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAEhF,sGAA8F;AAQrF,yFARA,yCAAQ,OAQA;AAAE,sFARA,sCAAK,OAQA;AAAE,yFARA,yCAAQ,OAQA;AANlC,oDAA6C;AAC7C,mDAAgH;AA+BvG,+GA/BmB,uCAA8B,OA+BnB;AAxB1B,QAAA,kBAAkB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC;AA+B/D;;;GAGG;AACH,IAAY,eAyDX;AAzDD,WAAY,eAAe;IACvB;;OAEG;IACH,2DAAW,CAAA;IACX;;OAEG;IACH,6DAAY,CAAA;IACZ;;OAEG;IACH,mFAAuB,CAAA;IACvB;;OAEG;IACH,mFAAuB,CAAA;IACvB;;OAEG;IACH,2FAA2B,CAAA;IAC3B;;OAEG;IACH,6EAAoB,CAAA;IACpB;;OAEG;IACH,qEAAgB,CAAA;IAChB;;OAEG;IACH,uEAAiB,CAAA;IACjB;;OAEG;IACH,+EAAqB,CAAA;IACrB;;OAEG;IACH,yEAAkB,CAAA;IAClB;;OAEG;IACH,0EAAmB,CAAA;IACnB;;OAEG;IACH,gEAAc,CAAA;IACd;;OAEG;IACH,0EAAmB,CAAA;IACnB;;OAEG;IACH,0EAAmB,CAAA;AACvB,CAAC,EAzDW,eAAe,GAAf,uBAAe,KAAf,uBAAe,QAyD1B;AAkOD,IAAiB,mBAAmB,CAInC;AAJD,WAAiB,mBAAmB;IAChC,SAAgB,EAAE,CAAC,GAAY;QAC3B,OAAO,IAAA,iBAAQ,EAAsB,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,YAAY,aAAG,CAAC;IACxE,CAAC;IAFe,sBAAE,KAEjB,CAAA;AACL,CAAC,EAJgB,mBAAmB,GAAnB,2BAAmB,KAAnB,2BAAmB,QAInC;AAED,IAAiB,kBAAkB,CAIlC;AAJD,WAAiB,kBAAkB;IAC/B,SAAgB,EAAE,CAAC,GAAuB;QACtC,OAAO,CAAC,CAAC,GAAG,IAAI,UAAU,IAAI,GAAG,CAAC;IACtC,CAAC;IAFe,qBAAE,KAEjB,CAAA;AACL,CAAC,EAJgB,kBAAkB,GAAlB,0BAAkB,KAAlB,0BAAkB,QAIlC"}
|
package/lib/browser/index.d.ts
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
export * from './diff-navigator';
|
|
2
|
-
export * from './editor';
|
|
3
|
-
export * from './editor-widget';
|
|
4
|
-
export * from './editor-manager';
|
|
5
|
-
export * from './editor-command';
|
|
6
|
-
export * from './editor-menu';
|
|
7
|
-
export * from './editor-frontend-module';
|
|
8
|
-
export * from './editor-preferences';
|
|
9
|
-
export * from './decorations';
|
|
10
|
-
export * from './editor-linenumber-contribution';
|
|
1
|
+
export * from './diff-navigator';
|
|
2
|
+
export * from './editor';
|
|
3
|
+
export * from './editor-widget';
|
|
4
|
+
export * from './editor-manager';
|
|
5
|
+
export * from './editor-command';
|
|
6
|
+
export * from './editor-menu';
|
|
7
|
+
export * from './editor-frontend-module';
|
|
8
|
+
export * from './editor-preferences';
|
|
9
|
+
export * from './decorations';
|
|
10
|
+
export * from './editor-linenumber-contribution';
|
|
11
11
|
//# sourceMappingURL=index.d.ts.map
|
package/lib/browser/index.js
CHANGED
|
@@ -1,38 +1,38 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2018 TypeFox and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
18
|
-
if (k2 === undefined) k2 = k;
|
|
19
|
-
Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
|
|
20
|
-
}) : (function(o, m, k, k2) {
|
|
21
|
-
if (k2 === undefined) k2 = k;
|
|
22
|
-
o[k2] = m[k];
|
|
23
|
-
}));
|
|
24
|
-
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
25
|
-
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
26
|
-
};
|
|
27
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
28
|
-
__exportStar(require("./diff-navigator"), exports);
|
|
29
|
-
__exportStar(require("./editor"), exports);
|
|
30
|
-
__exportStar(require("./editor-widget"), exports);
|
|
31
|
-
__exportStar(require("./editor-manager"), exports);
|
|
32
|
-
__exportStar(require("./editor-command"), exports);
|
|
33
|
-
__exportStar(require("./editor-menu"), exports);
|
|
34
|
-
__exportStar(require("./editor-frontend-module"), exports);
|
|
35
|
-
__exportStar(require("./editor-preferences"), exports);
|
|
36
|
-
__exportStar(require("./decorations"), exports);
|
|
37
|
-
__exportStar(require("./editor-linenumber-contribution"), exports);
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2018 TypeFox and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
18
|
+
if (k2 === undefined) k2 = k;
|
|
19
|
+
Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
|
|
20
|
+
}) : (function(o, m, k, k2) {
|
|
21
|
+
if (k2 === undefined) k2 = k;
|
|
22
|
+
o[k2] = m[k];
|
|
23
|
+
}));
|
|
24
|
+
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
25
|
+
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
26
|
+
};
|
|
27
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
28
|
+
__exportStar(require("./diff-navigator"), exports);
|
|
29
|
+
__exportStar(require("./editor"), exports);
|
|
30
|
+
__exportStar(require("./editor-widget"), exports);
|
|
31
|
+
__exportStar(require("./editor-manager"), exports);
|
|
32
|
+
__exportStar(require("./editor-command"), exports);
|
|
33
|
+
__exportStar(require("./editor-menu"), exports);
|
|
34
|
+
__exportStar(require("./editor-frontend-module"), exports);
|
|
35
|
+
__exportStar(require("./editor-preferences"), exports);
|
|
36
|
+
__exportStar(require("./decorations"), exports);
|
|
37
|
+
__exportStar(require("./editor-linenumber-contribution"), exports);
|
|
38
38
|
//# sourceMappingURL=index.js.map
|
|
@@ -1,78 +1,78 @@
|
|
|
1
|
-
import { StatusBar, StatusBarEntry } from '@theia/core/lib/browser';
|
|
2
|
-
import { LanguageService } from '@theia/core/lib/browser/language-service';
|
|
3
|
-
import { CommandRegistry } from '@theia/core';
|
|
4
|
-
import { TextEditor } from '../editor';
|
|
5
|
-
import { LanguageSelector } from '../../common/language-selector';
|
|
6
|
-
import { AccessibilityInformation } from '@theia/core/lib/common/accessibility';
|
|
7
|
-
import { CurrentEditorAccess } from '../editor-manager';
|
|
8
|
-
import { Severity } from '@theia/core/lib/common/severity';
|
|
9
|
-
import { LabelParser } from '@theia/core/lib/browser/label-parser';
|
|
10
|
-
/**
|
|
11
|
-
* Represents the severity of a language status item.
|
|
12
|
-
*/
|
|
13
|
-
export declare enum LanguageStatusSeverity {
|
|
14
|
-
Information = 0,
|
|
15
|
-
Warning = 1,
|
|
16
|
-
Error = 2
|
|
17
|
-
}
|
|
18
|
-
/**
|
|
19
|
-
* Command represents a particular invocation of a registered command.
|
|
20
|
-
*/
|
|
21
|
-
export interface Command {
|
|
22
|
-
/**
|
|
23
|
-
* The identifier of the actual command handler.
|
|
24
|
-
*/
|
|
25
|
-
id: string;
|
|
26
|
-
/**
|
|
27
|
-
* Title of the command invocation, like "Add local variable 'foo'".
|
|
28
|
-
*/
|
|
29
|
-
title?: string;
|
|
30
|
-
/**
|
|
31
|
-
* A tooltip for for command, when represented in the UI.
|
|
32
|
-
*/
|
|
33
|
-
tooltip?: string;
|
|
34
|
-
/**
|
|
35
|
-
* Arguments that the command handler should be
|
|
36
|
-
* invoked with.
|
|
37
|
-
*/
|
|
38
|
-
arguments?: unknown[];
|
|
39
|
-
}
|
|
40
|
-
/**
|
|
41
|
-
* A language status item is the preferred way to present language status reports for the active text editors,
|
|
42
|
-
* such as selected linter or notifying about a configuration problem.
|
|
43
|
-
*/
|
|
44
|
-
export interface LanguageStatus {
|
|
45
|
-
readonly id: string;
|
|
46
|
-
readonly name: string;
|
|
47
|
-
readonly selector: LanguageSelector;
|
|
48
|
-
readonly severity: Severity;
|
|
49
|
-
readonly label: string;
|
|
50
|
-
readonly detail: string;
|
|
51
|
-
readonly busy: boolean;
|
|
52
|
-
readonly source: string;
|
|
53
|
-
readonly command: Command | undefined;
|
|
54
|
-
readonly accessibilityInfo: AccessibilityInformation | undefined;
|
|
55
|
-
}
|
|
56
|
-
export declare class EditorLanguageStatusService {
|
|
57
|
-
protected readonly statusBar: StatusBar;
|
|
58
|
-
protected readonly languages: LanguageService;
|
|
59
|
-
protected readonly editorAccess: CurrentEditorAccess;
|
|
60
|
-
protected readonly commandRegistry: CommandRegistry;
|
|
61
|
-
protected readonly labelParser: LabelParser;
|
|
62
|
-
protected static LANGUAGE_MODE_ID: string;
|
|
63
|
-
protected static LANGUAGE_STATUS_ID: string;
|
|
64
|
-
protected readonly status: Map<number, LanguageStatus>;
|
|
65
|
-
protected pinnedCommands: Set<string>;
|
|
66
|
-
setLanguageStatusItem(handle: number, item: LanguageStatus): void;
|
|
67
|
-
removeLanguageStatusItem(handle: number): void;
|
|
68
|
-
updateLanguageStatus(editor: TextEditor | undefined): void;
|
|
69
|
-
protected updateLanguageStatusItems(editor?: TextEditor | undefined): void;
|
|
70
|
-
protected updatePinnedItems(items?: LanguageStatus[]): void;
|
|
71
|
-
protected toPinnedItem(item: LanguageStatus): StatusBarEntry;
|
|
72
|
-
protected createTooltip(items: LanguageStatus[]): HTMLElement;
|
|
73
|
-
protected setPinProperties(pin: HTMLElement, id: string): void;
|
|
74
|
-
protected togglePinned(item: LanguageStatus): void;
|
|
75
|
-
protected getSeverityIconClasses(severity: Severity): string;
|
|
76
|
-
protected renderWithIcons(host: HTMLElement, text?: string): void;
|
|
77
|
-
}
|
|
1
|
+
import { StatusBar, StatusBarEntry } from '@theia/core/lib/browser';
|
|
2
|
+
import { LanguageService } from '@theia/core/lib/browser/language-service';
|
|
3
|
+
import { CommandRegistry } from '@theia/core';
|
|
4
|
+
import { TextEditor } from '../editor';
|
|
5
|
+
import { LanguageSelector } from '../../common/language-selector';
|
|
6
|
+
import { AccessibilityInformation } from '@theia/core/lib/common/accessibility';
|
|
7
|
+
import { CurrentEditorAccess } from '../editor-manager';
|
|
8
|
+
import { Severity } from '@theia/core/lib/common/severity';
|
|
9
|
+
import { LabelParser } from '@theia/core/lib/browser/label-parser';
|
|
10
|
+
/**
|
|
11
|
+
* Represents the severity of a language status item.
|
|
12
|
+
*/
|
|
13
|
+
export declare enum LanguageStatusSeverity {
|
|
14
|
+
Information = 0,
|
|
15
|
+
Warning = 1,
|
|
16
|
+
Error = 2
|
|
17
|
+
}
|
|
18
|
+
/**
|
|
19
|
+
* Command represents a particular invocation of a registered command.
|
|
20
|
+
*/
|
|
21
|
+
export interface Command {
|
|
22
|
+
/**
|
|
23
|
+
* The identifier of the actual command handler.
|
|
24
|
+
*/
|
|
25
|
+
id: string;
|
|
26
|
+
/**
|
|
27
|
+
* Title of the command invocation, like "Add local variable 'foo'".
|
|
28
|
+
*/
|
|
29
|
+
title?: string;
|
|
30
|
+
/**
|
|
31
|
+
* A tooltip for for command, when represented in the UI.
|
|
32
|
+
*/
|
|
33
|
+
tooltip?: string;
|
|
34
|
+
/**
|
|
35
|
+
* Arguments that the command handler should be
|
|
36
|
+
* invoked with.
|
|
37
|
+
*/
|
|
38
|
+
arguments?: unknown[];
|
|
39
|
+
}
|
|
40
|
+
/**
|
|
41
|
+
* A language status item is the preferred way to present language status reports for the active text editors,
|
|
42
|
+
* such as selected linter or notifying about a configuration problem.
|
|
43
|
+
*/
|
|
44
|
+
export interface LanguageStatus {
|
|
45
|
+
readonly id: string;
|
|
46
|
+
readonly name: string;
|
|
47
|
+
readonly selector: LanguageSelector;
|
|
48
|
+
readonly severity: Severity;
|
|
49
|
+
readonly label: string;
|
|
50
|
+
readonly detail: string;
|
|
51
|
+
readonly busy: boolean;
|
|
52
|
+
readonly source: string;
|
|
53
|
+
readonly command: Command | undefined;
|
|
54
|
+
readonly accessibilityInfo: AccessibilityInformation | undefined;
|
|
55
|
+
}
|
|
56
|
+
export declare class EditorLanguageStatusService {
|
|
57
|
+
protected readonly statusBar: StatusBar;
|
|
58
|
+
protected readonly languages: LanguageService;
|
|
59
|
+
protected readonly editorAccess: CurrentEditorAccess;
|
|
60
|
+
protected readonly commandRegistry: CommandRegistry;
|
|
61
|
+
protected readonly labelParser: LabelParser;
|
|
62
|
+
protected static LANGUAGE_MODE_ID: string;
|
|
63
|
+
protected static LANGUAGE_STATUS_ID: string;
|
|
64
|
+
protected readonly status: Map<number, LanguageStatus>;
|
|
65
|
+
protected pinnedCommands: Set<string>;
|
|
66
|
+
setLanguageStatusItem(handle: number, item: LanguageStatus): void;
|
|
67
|
+
removeLanguageStatusItem(handle: number): void;
|
|
68
|
+
updateLanguageStatus(editor: TextEditor | undefined): void;
|
|
69
|
+
protected updateLanguageStatusItems(editor?: TextEditor | undefined): void;
|
|
70
|
+
protected updatePinnedItems(items?: LanguageStatus[]): void;
|
|
71
|
+
protected toPinnedItem(item: LanguageStatus): StatusBarEntry;
|
|
72
|
+
protected createTooltip(items: LanguageStatus[]): HTMLElement;
|
|
73
|
+
protected setPinProperties(pin: HTMLElement, id: string): void;
|
|
74
|
+
protected togglePinned(item: LanguageStatus): void;
|
|
75
|
+
protected getSeverityIconClasses(severity: Severity): string;
|
|
76
|
+
protected renderWithIcons(host: HTMLElement, text?: string): void;
|
|
77
|
+
}
|
|
78
78
|
//# sourceMappingURL=editor-language-status-service.d.ts.map
|