@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
package/README.md CHANGED
@@ -1,30 +1,30 @@
1
- <div align='center'>
2
-
3
- <br />
4
-
5
- <img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
6
-
7
- <h2>ECLIPSE THEIA - EDITOR EXTENSION</h2>
8
-
9
- <hr />
10
-
11
- </div>
12
-
13
- ## Description
14
-
15
- The `@theia/editor` extension contributed functionality such as the `editor` widget, menu, keybindings, and navigation.
16
-
17
- ## Additional Information
18
-
19
- - [API documentation for `@theia/editor`](https://eclipse-theia.github.io/theia/docs/next/modules/editor.html)
20
- - [Theia - GitHub](https://github.com/eclipse-theia/theia)
21
- - [Theia - Website](https://theia-ide.org/)
22
-
23
- ## License
24
-
25
- - [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
26
- - [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
27
-
28
- ## Trademark
29
- "Theia" is a trademark of the Eclipse Foundation
30
- https://www.eclipse.org/theia
1
+ <div align='center'>
2
+
3
+ <br />
4
+
5
+ <img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
6
+
7
+ <h2>ECLIPSE THEIA - EDITOR EXTENSION</h2>
8
+
9
+ <hr />
10
+
11
+ </div>
12
+
13
+ ## Description
14
+
15
+ The `@theia/editor` extension contributed functionality such as the `editor` widget, menu, keybindings, and navigation.
16
+
17
+ ## Additional Information
18
+
19
+ - [API documentation for `@theia/editor`](https://eclipse-theia.github.io/theia/docs/next/modules/editor.html)
20
+ - [Theia - GitHub](https://github.com/eclipse-theia/theia)
21
+ - [Theia - Website](https://theia-ide.org/)
22
+
23
+ ## License
24
+
25
+ - [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
26
+ - [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
27
+
28
+ ## Trademark
29
+ "Theia" is a trademark of the Eclipse Foundation
30
+ https://www.eclipse.org/theia
@@ -1,9 +1,9 @@
1
- import { Disposable } from '@theia/core';
2
- export declare class EditorDecorationStyle implements Disposable {
3
- readonly selector: string;
4
- protected decorationsStyleSheet: CSSStyleSheet;
5
- constructor(selector: string, styleProvider: (style: CSSStyleDeclaration) => void, decorationsStyleSheet: CSSStyleSheet);
6
- get className(): string;
7
- dispose(): void;
8
- }
1
+ import { Disposable } from '@theia/core';
2
+ export declare class EditorDecorationStyle implements Disposable {
3
+ readonly selector: string;
4
+ protected decorationsStyleSheet: CSSStyleSheet;
5
+ constructor(selector: string, styleProvider: (style: CSSStyleDeclaration) => void, decorationsStyleSheet: CSSStyleSheet);
6
+ get className(): string;
7
+ dispose(): void;
8
+ }
9
9
  //# sourceMappingURL=editor-decoration-style.d.ts.map
@@ -1,37 +1,37 @@
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.EditorDecorationStyle = void 0;
19
- const browser_1 = require("@theia/core/lib/browser");
20
- class EditorDecorationStyle {
21
- constructor(selector, styleProvider, decorationsStyleSheet) {
22
- this.selector = selector;
23
- this.decorationsStyleSheet = decorationsStyleSheet;
24
- const styleRule = browser_1.DecorationStyle.getOrCreateStyleRule(selector, decorationsStyleSheet);
25
- if (styleRule) {
26
- styleProvider(styleRule.style);
27
- }
28
- }
29
- get className() {
30
- return this.selector.split('::')[0];
31
- }
32
- dispose() {
33
- browser_1.DecorationStyle.deleteStyleRule(this.selector, this.decorationsStyleSheet);
34
- }
35
- }
36
- exports.EditorDecorationStyle = EditorDecorationStyle;
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.EditorDecorationStyle = void 0;
19
+ const browser_1 = require("@theia/core/lib/browser");
20
+ class EditorDecorationStyle {
21
+ constructor(selector, styleProvider, decorationsStyleSheet) {
22
+ this.selector = selector;
23
+ this.decorationsStyleSheet = decorationsStyleSheet;
24
+ const styleRule = browser_1.DecorationStyle.getOrCreateStyleRule(selector, decorationsStyleSheet);
25
+ if (styleRule) {
26
+ styleProvider(styleRule.style);
27
+ }
28
+ }
29
+ get className() {
30
+ return this.selector.split('::')[0];
31
+ }
32
+ dispose() {
33
+ browser_1.DecorationStyle.deleteStyleRule(this.selector, this.decorationsStyleSheet);
34
+ }
35
+ }
36
+ exports.EditorDecorationStyle = EditorDecorationStyle;
37
37
  //# sourceMappingURL=editor-decoration-style.js.map
@@ -1,107 +1,107 @@
1
- import { Range } from '@theia/core/shared/vscode-languageserver-protocol';
2
- export interface EditorDecoration {
3
- /**
4
- * range to which this decoration instance is applied.
5
- */
6
- range: Range;
7
- /**
8
- * options to be applied with this decoration.
9
- */
10
- options: EditorDecorationOptions;
11
- }
12
- export interface EditorDecorationOptions {
13
- /**
14
- * behavior of decorations when typing/editing near their edges.
15
- */
16
- stickiness?: TrackedRangeStickiness;
17
- /**
18
- * CSS class name of this decoration.
19
- */
20
- className?: string;
21
- /**
22
- * hover message for this decoration.
23
- */
24
- hoverMessage?: string;
25
- /**
26
- * the decoration will be rendered in the glyph margin with this class name.
27
- */
28
- glyphMarginClassName?: string;
29
- /**
30
- * hover message for the glyph margin of this decoration.
31
- */
32
- glyphMarginHoverMessage?: string;
33
- /**
34
- * should the decoration be rendered for the whole line.
35
- */
36
- isWholeLine?: boolean;
37
- /**
38
- * the decoration will be rendered in the lines decorations with this class name.
39
- */
40
- linesDecorationsClassName?: string;
41
- /**
42
- * the decoration will be rendered in the margin in full width with this class name.
43
- */
44
- marginClassName?: string;
45
- /**
46
- * the decoration will be rendered inline with this class name.
47
- * to be used only to change text, otherwise use `className`.
48
- */
49
- inlineClassName?: string;
50
- /**
51
- * the decoration will be rendered before the text with this class name.
52
- */
53
- beforeContentClassName?: string;
54
- /**
55
- * the decoration will be rendered after the text with this class name.
56
- */
57
- afterContentClassName?: string;
58
- /**
59
- * render this decoration in the overview ruler.
60
- */
61
- overviewRuler?: DecorationOverviewRulerOptions;
62
- /**
63
- * If set, render this decoration in the minimap.
64
- */
65
- minimap?: DecorationMinimapOptions;
66
- }
67
- export interface DecorationOptions {
68
- /**
69
- * color of the decoration in the overview ruler.
70
- * use `rgba` values to play well with other decorations.
71
- */
72
- color: string | {
73
- id: string;
74
- } | undefined;
75
- /**
76
- * The color to use in dark themes. Will be favored over `color` except in light themes.
77
- */
78
- darkColor?: string | {
79
- id: string;
80
- };
81
- }
82
- export declare enum MinimapPosition {
83
- Inline = 1,
84
- Gutter = 2
85
- }
86
- export interface DecorationMinimapOptions extends DecorationOptions {
87
- position: MinimapPosition;
88
- }
89
- export interface DecorationOverviewRulerOptions extends DecorationOptions {
90
- /**
91
- * position in the overview ruler.
92
- */
93
- position: OverviewRulerLane;
94
- }
95
- export declare enum OverviewRulerLane {
96
- Left = 1,
97
- Center = 2,
98
- Right = 4,
99
- Full = 7
100
- }
101
- export declare enum TrackedRangeStickiness {
102
- AlwaysGrowsWhenTypingAtEdges = 0,
103
- NeverGrowsWhenTypingAtEdges = 1,
104
- GrowsOnlyWhenTypingBefore = 2,
105
- GrowsOnlyWhenTypingAfter = 3
106
- }
1
+ import { Range } from '@theia/core/shared/vscode-languageserver-protocol';
2
+ export interface EditorDecoration {
3
+ /**
4
+ * range to which this decoration instance is applied.
5
+ */
6
+ range: Range;
7
+ /**
8
+ * options to be applied with this decoration.
9
+ */
10
+ options: EditorDecorationOptions;
11
+ }
12
+ export interface EditorDecorationOptions {
13
+ /**
14
+ * behavior of decorations when typing/editing near their edges.
15
+ */
16
+ stickiness?: TrackedRangeStickiness;
17
+ /**
18
+ * CSS class name of this decoration.
19
+ */
20
+ className?: string;
21
+ /**
22
+ * hover message for this decoration.
23
+ */
24
+ hoverMessage?: string;
25
+ /**
26
+ * the decoration will be rendered in the glyph margin with this class name.
27
+ */
28
+ glyphMarginClassName?: string;
29
+ /**
30
+ * hover message for the glyph margin of this decoration.
31
+ */
32
+ glyphMarginHoverMessage?: string;
33
+ /**
34
+ * should the decoration be rendered for the whole line.
35
+ */
36
+ isWholeLine?: boolean;
37
+ /**
38
+ * the decoration will be rendered in the lines decorations with this class name.
39
+ */
40
+ linesDecorationsClassName?: string;
41
+ /**
42
+ * the decoration will be rendered in the margin in full width with this class name.
43
+ */
44
+ marginClassName?: string;
45
+ /**
46
+ * the decoration will be rendered inline with this class name.
47
+ * to be used only to change text, otherwise use `className`.
48
+ */
49
+ inlineClassName?: string;
50
+ /**
51
+ * the decoration will be rendered before the text with this class name.
52
+ */
53
+ beforeContentClassName?: string;
54
+ /**
55
+ * the decoration will be rendered after the text with this class name.
56
+ */
57
+ afterContentClassName?: string;
58
+ /**
59
+ * render this decoration in the overview ruler.
60
+ */
61
+ overviewRuler?: DecorationOverviewRulerOptions;
62
+ /**
63
+ * If set, render this decoration in the minimap.
64
+ */
65
+ minimap?: DecorationMinimapOptions;
66
+ }
67
+ export interface DecorationOptions {
68
+ /**
69
+ * color of the decoration in the overview ruler.
70
+ * use `rgba` values to play well with other decorations.
71
+ */
72
+ color: string | {
73
+ id: string;
74
+ } | undefined;
75
+ /**
76
+ * The color to use in dark themes. Will be favored over `color` except in light themes.
77
+ */
78
+ darkColor?: string | {
79
+ id: string;
80
+ };
81
+ }
82
+ export declare enum MinimapPosition {
83
+ Inline = 1,
84
+ Gutter = 2
85
+ }
86
+ export interface DecorationMinimapOptions extends DecorationOptions {
87
+ position: MinimapPosition;
88
+ }
89
+ export interface DecorationOverviewRulerOptions extends DecorationOptions {
90
+ /**
91
+ * position in the overview ruler.
92
+ */
93
+ position: OverviewRulerLane;
94
+ }
95
+ export declare enum OverviewRulerLane {
96
+ Left = 1,
97
+ Center = 2,
98
+ Right = 4,
99
+ Full = 7
100
+ }
101
+ export declare enum TrackedRangeStickiness {
102
+ AlwaysGrowsWhenTypingAtEdges = 0,
103
+ NeverGrowsWhenTypingAtEdges = 1,
104
+ GrowsOnlyWhenTypingBefore = 2,
105
+ GrowsOnlyWhenTypingAfter = 3
106
+ }
107
107
  //# sourceMappingURL=editor-decoration.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
- Object.defineProperty(exports, "__esModule", { value: true });
18
- exports.TrackedRangeStickiness = exports.OverviewRulerLane = exports.MinimapPosition = void 0;
19
- var MinimapPosition;
20
- (function (MinimapPosition) {
21
- MinimapPosition[MinimapPosition["Inline"] = 1] = "Inline";
22
- MinimapPosition[MinimapPosition["Gutter"] = 2] = "Gutter";
23
- })(MinimapPosition = exports.MinimapPosition || (exports.MinimapPosition = {}));
24
- var OverviewRulerLane;
25
- (function (OverviewRulerLane) {
26
- OverviewRulerLane[OverviewRulerLane["Left"] = 1] = "Left";
27
- OverviewRulerLane[OverviewRulerLane["Center"] = 2] = "Center";
28
- OverviewRulerLane[OverviewRulerLane["Right"] = 4] = "Right";
29
- OverviewRulerLane[OverviewRulerLane["Full"] = 7] = "Full";
30
- })(OverviewRulerLane = exports.OverviewRulerLane || (exports.OverviewRulerLane = {}));
31
- var TrackedRangeStickiness;
32
- (function (TrackedRangeStickiness) {
33
- TrackedRangeStickiness[TrackedRangeStickiness["AlwaysGrowsWhenTypingAtEdges"] = 0] = "AlwaysGrowsWhenTypingAtEdges";
34
- TrackedRangeStickiness[TrackedRangeStickiness["NeverGrowsWhenTypingAtEdges"] = 1] = "NeverGrowsWhenTypingAtEdges";
35
- TrackedRangeStickiness[TrackedRangeStickiness["GrowsOnlyWhenTypingBefore"] = 2] = "GrowsOnlyWhenTypingBefore";
36
- TrackedRangeStickiness[TrackedRangeStickiness["GrowsOnlyWhenTypingAfter"] = 3] = "GrowsOnlyWhenTypingAfter";
37
- })(TrackedRangeStickiness = exports.TrackedRangeStickiness || (exports.TrackedRangeStickiness = {}));
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.TrackedRangeStickiness = exports.OverviewRulerLane = exports.MinimapPosition = void 0;
19
+ var MinimapPosition;
20
+ (function (MinimapPosition) {
21
+ MinimapPosition[MinimapPosition["Inline"] = 1] = "Inline";
22
+ MinimapPosition[MinimapPosition["Gutter"] = 2] = "Gutter";
23
+ })(MinimapPosition = exports.MinimapPosition || (exports.MinimapPosition = {}));
24
+ var OverviewRulerLane;
25
+ (function (OverviewRulerLane) {
26
+ OverviewRulerLane[OverviewRulerLane["Left"] = 1] = "Left";
27
+ OverviewRulerLane[OverviewRulerLane["Center"] = 2] = "Center";
28
+ OverviewRulerLane[OverviewRulerLane["Right"] = 4] = "Right";
29
+ OverviewRulerLane[OverviewRulerLane["Full"] = 7] = "Full";
30
+ })(OverviewRulerLane = exports.OverviewRulerLane || (exports.OverviewRulerLane = {}));
31
+ var TrackedRangeStickiness;
32
+ (function (TrackedRangeStickiness) {
33
+ TrackedRangeStickiness[TrackedRangeStickiness["AlwaysGrowsWhenTypingAtEdges"] = 0] = "AlwaysGrowsWhenTypingAtEdges";
34
+ TrackedRangeStickiness[TrackedRangeStickiness["NeverGrowsWhenTypingAtEdges"] = 1] = "NeverGrowsWhenTypingAtEdges";
35
+ TrackedRangeStickiness[TrackedRangeStickiness["GrowsOnlyWhenTypingBefore"] = 2] = "GrowsOnlyWhenTypingBefore";
36
+ TrackedRangeStickiness[TrackedRangeStickiness["GrowsOnlyWhenTypingAfter"] = 3] = "GrowsOnlyWhenTypingAfter";
37
+ })(TrackedRangeStickiness = exports.TrackedRangeStickiness || (exports.TrackedRangeStickiness = {}));
38
38
  //# sourceMappingURL=editor-decoration.js.map
@@ -1,7 +1,7 @@
1
- import { TextEditor } from '../editor';
2
- import { EditorDecoration } from './editor-decoration';
3
- export declare abstract class EditorDecorator {
4
- protected readonly appliedDecorations: Map<string, string[]>;
5
- protected setDecorations(editor: TextEditor, newDecorations: EditorDecoration[]): void;
6
- }
1
+ import { TextEditor } from '../editor';
2
+ import { EditorDecoration } from './editor-decoration';
3
+ export declare abstract class EditorDecorator {
4
+ protected readonly appliedDecorations: Map<string, string[]>;
5
+ protected setDecorations(editor: TextEditor, newDecorations: EditorDecoration[]): void;
6
+ }
7
7
  //# sourceMappingURL=editor-decorator.d.ts.map
@@ -1,44 +1,44 @@
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 __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
- return c > 3 && r && Object.defineProperty(target, key, r), r;
22
- };
23
- Object.defineProperty(exports, "__esModule", { value: true });
24
- exports.EditorDecorator = void 0;
25
- const inversify_1 = require("@theia/core/shared/inversify");
26
- let EditorDecorator = class EditorDecorator {
27
- constructor() {
28
- this.appliedDecorations = new Map();
29
- }
30
- setDecorations(editor, newDecorations) {
31
- const uri = editor.uri.toString();
32
- const oldDecorations = this.appliedDecorations.get(uri) || [];
33
- if (oldDecorations.length === 0 && newDecorations.length === 0) {
34
- return;
35
- }
36
- const decorationIds = editor.deltaDecorations({ oldDecorations, newDecorations });
37
- this.appliedDecorations.set(uri, decorationIds);
38
- }
39
- };
40
- EditorDecorator = __decorate([
41
- (0, inversify_1.injectable)()
42
- ], EditorDecorator);
43
- exports.EditorDecorator = EditorDecorator;
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 __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
22
+ };
23
+ Object.defineProperty(exports, "__esModule", { value: true });
24
+ exports.EditorDecorator = void 0;
25
+ const inversify_1 = require("@theia/core/shared/inversify");
26
+ let EditorDecorator = class EditorDecorator {
27
+ constructor() {
28
+ this.appliedDecorations = new Map();
29
+ }
30
+ setDecorations(editor, newDecorations) {
31
+ const uri = editor.uri.toString();
32
+ const oldDecorations = this.appliedDecorations.get(uri) || [];
33
+ if (oldDecorations.length === 0 && newDecorations.length === 0) {
34
+ return;
35
+ }
36
+ const decorationIds = editor.deltaDecorations({ oldDecorations, newDecorations });
37
+ this.appliedDecorations.set(uri, decorationIds);
38
+ }
39
+ };
40
+ EditorDecorator = __decorate([
41
+ (0, inversify_1.injectable)()
42
+ ], EditorDecorator);
43
+ exports.EditorDecorator = EditorDecorator;
44
44
  //# sourceMappingURL=editor-decorator.js.map
@@ -1,4 +1,4 @@
1
- export * from './editor-decoration';
2
- export * from './editor-decoration-style';
3
- export * from './editor-decorator';
1
+ export * from './editor-decoration';
2
+ export * from './editor-decoration-style';
3
+ export * from './editor-decorator';
4
4
  //# sourceMappingURL=index.d.ts.map
@@ -1,31 +1,31 @@
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("./editor-decoration"), exports);
29
- __exportStar(require("./editor-decoration-style"), exports);
30
- __exportStar(require("./editor-decorator"), 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("./editor-decoration"), exports);
29
+ __exportStar(require("./editor-decoration-style"), exports);
30
+ __exportStar(require("./editor-decorator"), exports);
31
31
  //# sourceMappingURL=index.js.map
@@ -1,11 +1,10 @@
1
- import { TextEditor } from './editor';
2
- export interface DiffNavigator {
3
- canNavigate(): boolean;
4
- hasNext(): boolean;
5
- hasPrevious(): boolean;
6
- next(): void;
7
- previous(): void;
8
- }
9
- export declare const DiffNavigatorProvider: unique symbol;
10
- export declare type DiffNavigatorProvider = (editor: TextEditor) => DiffNavigator;
1
+ import { TextEditor } from './editor';
2
+ export interface DiffNavigator {
3
+ hasNext(): boolean;
4
+ hasPrevious(): boolean;
5
+ next(): void;
6
+ previous(): void;
7
+ }
8
+ export declare const DiffNavigatorProvider: unique symbol;
9
+ export declare type DiffNavigatorProvider = (editor: TextEditor) => DiffNavigator;
11
10
  //# sourceMappingURL=diff-navigator.d.ts.map