@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.
Files changed (112) hide show
  1. package/README.md +30 -30
  2. package/lib/browser/decorations/editor-decoration-style.d.ts +8 -8
  3. package/lib/browser/decorations/editor-decoration-style.js +36 -36
  4. package/lib/browser/decorations/editor-decoration.d.ts +106 -106
  5. package/lib/browser/decorations/editor-decoration.js +37 -37
  6. package/lib/browser/decorations/editor-decorator.d.ts +6 -6
  7. package/lib/browser/decorations/editor-decorator.js +43 -43
  8. package/lib/browser/decorations/index.d.ts +3 -3
  9. package/lib/browser/decorations/index.js +30 -30
  10. package/lib/browser/diff-navigator.d.ts +9 -10
  11. package/lib/browser/diff-navigator.d.ts.map +1 -1
  12. package/lib/browser/diff-navigator.js +19 -19
  13. package/lib/browser/diff-navigator.js.map +1 -1
  14. package/lib/browser/editor-command.d.ts +102 -102
  15. package/lib/browser/editor-command.js +426 -426
  16. package/lib/browser/editor-contribution.d.ts +26 -26
  17. package/lib/browser/editor-contribution.js +198 -198
  18. package/lib/browser/editor-frontend-module.d.ts +5 -5
  19. package/lib/browser/editor-frontend-module.js +74 -74
  20. package/lib/browser/editor-generated-preference-schema.d.ts +282 -249
  21. package/lib/browser/editor-generated-preference-schema.d.ts.map +1 -1
  22. package/lib/browser/editor-generated-preference-schema.js +2451 -2316
  23. package/lib/browser/editor-generated-preference-schema.js.map +1 -1
  24. package/lib/browser/editor-keybinding.d.ts +5 -5
  25. package/lib/browser/editor-keybinding.js +55 -55
  26. package/lib/browser/editor-linenumber-contribution.d.ts +15 -15
  27. package/lib/browser/editor-linenumber-contribution.d.ts.map +1 -1
  28. package/lib/browser/editor-linenumber-contribution.js +95 -96
  29. package/lib/browser/editor-linenumber-contribution.js.map +1 -1
  30. package/lib/browser/editor-manager.d.ts +115 -115
  31. package/lib/browser/editor-manager.js +428 -428
  32. package/lib/browser/editor-menu.d.ts +48 -48
  33. package/lib/browser/editor-menu.js +210 -210
  34. package/lib/browser/editor-navigation-contribution.d.ts +67 -67
  35. package/lib/browser/editor-navigation-contribution.js +343 -343
  36. package/lib/browser/editor-preferences.d.ts +41 -41
  37. package/lib/browser/editor-preferences.js +176 -176
  38. package/lib/browser/editor-variable-contribution.d.ts +8 -8
  39. package/lib/browser/editor-variable-contribution.js +64 -64
  40. package/lib/browser/editor-widget-factory.d.ts +17 -17
  41. package/lib/browser/editor-widget-factory.js +91 -91
  42. package/lib/browser/editor-widget.d.ts +24 -24
  43. package/lib/browser/editor-widget.d.ts.map +1 -1
  44. package/lib/browser/editor-widget.js +122 -114
  45. package/lib/browser/editor-widget.js.map +1 -1
  46. package/lib/browser/editor.d.ts +295 -293
  47. package/lib/browser/editor.d.ts.map +1 -1
  48. package/lib/browser/editor.js +103 -103
  49. package/lib/browser/editor.js.map +1 -1
  50. package/lib/browser/index.d.ts +10 -10
  51. package/lib/browser/index.js +37 -37
  52. package/lib/browser/language-status/editor-language-status-service.d.ts +77 -77
  53. package/lib/browser/language-status/editor-language-status-service.js +251 -251
  54. package/lib/browser/navigation/navigation-location-service.d.ts +103 -103
  55. package/lib/browser/navigation/navigation-location-service.js +281 -281
  56. package/lib/browser/navigation/navigation-location-service.spec.d.ts +1 -1
  57. package/lib/browser/navigation/navigation-location-service.spec.js +184 -184
  58. package/lib/browser/navigation/navigation-location-similarity.d.ts +15 -15
  59. package/lib/browser/navigation/navigation-location-similarity.js +62 -62
  60. package/lib/browser/navigation/navigation-location-similarity.spec.d.ts +1 -1
  61. package/lib/browser/navigation/navigation-location-similarity.spec.js +32 -32
  62. package/lib/browser/navigation/navigation-location-updater.d.ts +35 -35
  63. package/lib/browser/navigation/navigation-location-updater.js +210 -210
  64. package/lib/browser/navigation/navigation-location-updater.spec.d.ts +1 -1
  65. package/lib/browser/navigation/navigation-location-updater.spec.js +177 -177
  66. package/lib/browser/navigation/navigation-location.d.ts +191 -191
  67. package/lib/browser/navigation/navigation-location.js +300 -300
  68. package/lib/browser/navigation/test/mock-navigation-location-updater.d.ts +15 -15
  69. package/lib/browser/navigation/test/mock-navigation-location-updater.js +38 -38
  70. package/lib/browser/quick-editor-service.d.ts +16 -16
  71. package/lib/browser/quick-editor-service.js +109 -109
  72. package/lib/browser/undo-redo-service.d.ts +23 -23
  73. package/lib/browser/undo-redo-service.js +110 -110
  74. package/lib/common/language-selector.d.ts +13 -13
  75. package/lib/common/language-selector.js +90 -90
  76. package/lib/package.spec.js +25 -25
  77. package/package.json +5 -5
  78. package/src/browser/decorations/editor-decoration-style.ts +41 -41
  79. package/src/browser/decorations/editor-decoration.ts +127 -127
  80. package/src/browser/decorations/editor-decorator.ts +36 -36
  81. package/src/browser/decorations/index.ts +19 -19
  82. package/src/browser/diff-navigator.ts +27 -28
  83. package/src/browser/editor-command.ts +414 -414
  84. package/src/browser/editor-contribution.ts +185 -185
  85. package/src/browser/editor-frontend-module.ts +87 -87
  86. package/src/browser/editor-generated-preference-schema.ts +2707 -2539
  87. package/src/browser/editor-keybinding.ts +55 -55
  88. package/src/browser/editor-linenumber-contribution.ts +88 -89
  89. package/src/browser/editor-manager.ts +442 -442
  90. package/src/browser/editor-menu.ts +224 -224
  91. package/src/browser/editor-navigation-contribution.ts +343 -343
  92. package/src/browser/editor-preferences.ts +226 -226
  93. package/src/browser/editor-variable-contribution.ts +54 -54
  94. package/src/browser/editor-widget-factory.ts +82 -82
  95. package/src/browser/editor-widget.ts +137 -130
  96. package/src/browser/editor.ts +360 -358
  97. package/src/browser/index.ts +26 -26
  98. package/src/browser/language-status/editor-language-status-service.ts +271 -271
  99. package/src/browser/language-status/editor-language-status.css +101 -101
  100. package/src/browser/navigation/navigation-location-service.spec.ts +245 -245
  101. package/src/browser/navigation/navigation-location-service.ts +284 -284
  102. package/src/browser/navigation/navigation-location-similarity.spec.ts +46 -46
  103. package/src/browser/navigation/navigation-location-similarity.ts +58 -58
  104. package/src/browser/navigation/navigation-location-updater.spec.ts +197 -197
  105. package/src/browser/navigation/navigation-location-updater.ts +220 -220
  106. package/src/browser/navigation/navigation-location.ts +418 -418
  107. package/src/browser/navigation/test/mock-navigation-location-updater.ts +41 -41
  108. package/src/browser/quick-editor-service.ts +94 -94
  109. package/src/browser/style/index.css +19 -19
  110. package/src/browser/undo-redo-service.ts +120 -120
  111. package/src/common/language-selector.ts +104 -104
  112. package/src/package.spec.ts +28 -28
@@ -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;AAOrF,yFAPA,yCAAQ,OAOA;AAAE,sFAPA,sCAAK,OAOA;AAAE,yFAPA,yCAAQ,OAOA;AALlC,oDAA6C;AAC7C,mDAAgH;AA8BvG,+GA9BmB,uCAA8B,OA8BnB;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;AAiOD,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"}
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"}
@@ -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
@@ -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