@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/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
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
export declare
|
|
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
|