@theia/editor 1.34.2 → 1.34.3

package/lib/browser/editor.js

@@ -1,104 +1,104 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2018 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CustomEditorWidget = exports.TextEditorSelection = exports.MouseTargetType = exports.TextDocumentContentChangeDelta = exports.TextEditorProvider = exports.Location = exports.Range = exports.Position = void 0;
-const vscode_languageserver_protocol_1 = require("@theia/core/shared/vscode-languageserver-protocol");
-Object.defineProperty(exports, "Position", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Position; } });
-Object.defineProperty(exports, "Range", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Range; } });
-Object.defineProperty(exports, "Location", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Location; } });
-const uri_1 = require("@theia/core/lib/common/uri");
-const common_1 = require("@theia/core/lib/common");
-Object.defineProperty(exports, "TextDocumentContentChangeDelta", { enumerable: true, get: function () { return common_1.TextDocumentContentChangeDelta; } });
-exports.TextEditorProvider = Symbol('TextEditorProvider');
-/**
- * Type of hit element with the mouse in the editor.
- * Copied from monaco editor.
- */
-var MouseTargetType;
-(function (MouseTargetType) {
-    /**
-     * Mouse is on top of an unknown element.
-     */
-    MouseTargetType[MouseTargetType["UNKNOWN"] = 0] = "UNKNOWN";
-    /**
-     * Mouse is on top of the textarea used for input.
-     */
-    MouseTargetType[MouseTargetType["TEXTAREA"] = 1] = "TEXTAREA";
-    /**
-     * Mouse is on top of the glyph margin
-     */
-    MouseTargetType[MouseTargetType["GUTTER_GLYPH_MARGIN"] = 2] = "GUTTER_GLYPH_MARGIN";
-    /**
-     * Mouse is on top of the line numbers
-     */
-    MouseTargetType[MouseTargetType["GUTTER_LINE_NUMBERS"] = 3] = "GUTTER_LINE_NUMBERS";
-    /**
-     * Mouse is on top of the line decorations
-     */
-    MouseTargetType[MouseTargetType["GUTTER_LINE_DECORATIONS"] = 4] = "GUTTER_LINE_DECORATIONS";
-    /**
-     * Mouse is on top of the whitespace left in the gutter by a view zone.
-     */
-    MouseTargetType[MouseTargetType["GUTTER_VIEW_ZONE"] = 5] = "GUTTER_VIEW_ZONE";
-    /**
-     * Mouse is on top of text in the content.
-     */
-    MouseTargetType[MouseTargetType["CONTENT_TEXT"] = 6] = "CONTENT_TEXT";
-    /**
-     * Mouse is on top of empty space in the content (e.g. after line text or below last line)
-     */
-    MouseTargetType[MouseTargetType["CONTENT_EMPTY"] = 7] = "CONTENT_EMPTY";
-    /**
-     * Mouse is on top of a view zone in the content.
-     */
-    MouseTargetType[MouseTargetType["CONTENT_VIEW_ZONE"] = 8] = "CONTENT_VIEW_ZONE";
-    /**
-     * Mouse is on top of a content widget.
-     */
-    MouseTargetType[MouseTargetType["CONTENT_WIDGET"] = 9] = "CONTENT_WIDGET";
-    /**
-     * Mouse is on top of the decorations overview ruler.
-     */
-    MouseTargetType[MouseTargetType["OVERVIEW_RULER"] = 10] = "OVERVIEW_RULER";
-    /**
-     * Mouse is on top of a scrollbar.
-     */
-    MouseTargetType[MouseTargetType["SCROLLBAR"] = 11] = "SCROLLBAR";
-    /**
-     * Mouse is on top of an overlay widget.
-     */
-    MouseTargetType[MouseTargetType["OVERLAY_WIDGET"] = 12] = "OVERLAY_WIDGET";
-    /**
-     * Mouse is outside of the editor.
-     */
-    MouseTargetType[MouseTargetType["OUTSIDE_EDITOR"] = 13] = "OUTSIDE_EDITOR";
-})(MouseTargetType = exports.MouseTargetType || (exports.MouseTargetType = {}));
-var TextEditorSelection;
-(function (TextEditorSelection) {
-    function is(arg) {
-        return (0, common_1.isObject)(arg) && arg.uri instanceof uri_1.default;
-    }
-    TextEditorSelection.is = is;
-})(TextEditorSelection = exports.TextEditorSelection || (exports.TextEditorSelection = {}));
-var CustomEditorWidget;
-(function (CustomEditorWidget) {
-    function is(arg) {
-        return !!arg && 'modelRef' in arg;
-    }
-    CustomEditorWidget.is = is;
-})(CustomEditorWidget = exports.CustomEditorWidget || (exports.CustomEditorWidget = {}));
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CustomEditorWidget = exports.TextEditorSelection = exports.MouseTargetType = exports.TextDocumentContentChangeDelta = exports.TextEditorProvider = exports.Location = exports.Range = exports.Position = void 0;
+const vscode_languageserver_protocol_1 = require("@theia/core/shared/vscode-languageserver-protocol");
+Object.defineProperty(exports, "Position", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Position; } });
+Object.defineProperty(exports, "Range", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Range; } });
+Object.defineProperty(exports, "Location", { enumerable: true, get: function () { return vscode_languageserver_protocol_1.Location; } });
+const uri_1 = require("@theia/core/lib/common/uri");
+const common_1 = require("@theia/core/lib/common");
+Object.defineProperty(exports, "TextDocumentContentChangeDelta", { enumerable: true, get: function () { return common_1.TextDocumentContentChangeDelta; } });
+exports.TextEditorProvider = Symbol('TextEditorProvider');
+/**
+ * Type of hit element with the mouse in the editor.
+ * Copied from monaco editor.
+ */
+var MouseTargetType;
+(function (MouseTargetType) {
+    /**
+     * Mouse is on top of an unknown element.
+     */
+    MouseTargetType[MouseTargetType["UNKNOWN"] = 0] = "UNKNOWN";
+    /**
+     * Mouse is on top of the textarea used for input.
+     */
+    MouseTargetType[MouseTargetType["TEXTAREA"] = 1] = "TEXTAREA";
+    /**
+     * Mouse is on top of the glyph margin
+     */
+    MouseTargetType[MouseTargetType["GUTTER_GLYPH_MARGIN"] = 2] = "GUTTER_GLYPH_MARGIN";
+    /**
+     * Mouse is on top of the line numbers
+     */
+    MouseTargetType[MouseTargetType["GUTTER_LINE_NUMBERS"] = 3] = "GUTTER_LINE_NUMBERS";
+    /**
+     * Mouse is on top of the line decorations
+     */
+    MouseTargetType[MouseTargetType["GUTTER_LINE_DECORATIONS"] = 4] = "GUTTER_LINE_DECORATIONS";
+    /**
+     * Mouse is on top of the whitespace left in the gutter by a view zone.
+     */
+    MouseTargetType[MouseTargetType["GUTTER_VIEW_ZONE"] = 5] = "GUTTER_VIEW_ZONE";
+    /**
+     * Mouse is on top of text in the content.
+     */
+    MouseTargetType[MouseTargetType["CONTENT_TEXT"] = 6] = "CONTENT_TEXT";
+    /**
+     * Mouse is on top of empty space in the content (e.g. after line text or below last line)
+     */
+    MouseTargetType[MouseTargetType["CONTENT_EMPTY"] = 7] = "CONTENT_EMPTY";
+    /**
+     * Mouse is on top of a view zone in the content.
+     */
+    MouseTargetType[MouseTargetType["CONTENT_VIEW_ZONE"] = 8] = "CONTENT_VIEW_ZONE";
+    /**
+     * Mouse is on top of a content widget.
+     */
+    MouseTargetType[MouseTargetType["CONTENT_WIDGET"] = 9] = "CONTENT_WIDGET";
+    /**
+     * Mouse is on top of the decorations overview ruler.
+     */
+    MouseTargetType[MouseTargetType["OVERVIEW_RULER"] = 10] = "OVERVIEW_RULER";
+    /**
+     * Mouse is on top of a scrollbar.
+     */
+    MouseTargetType[MouseTargetType["SCROLLBAR"] = 11] = "SCROLLBAR";
+    /**
+     * Mouse is on top of an overlay widget.
+     */
+    MouseTargetType[MouseTargetType["OVERLAY_WIDGET"] = 12] = "OVERLAY_WIDGET";
+    /**
+     * Mouse is outside of the editor.
+     */
+    MouseTargetType[MouseTargetType["OUTSIDE_EDITOR"] = 13] = "OUTSIDE_EDITOR";
+})(MouseTargetType = exports.MouseTargetType || (exports.MouseTargetType = {}));
+var TextEditorSelection;
+(function (TextEditorSelection) {
+    function is(arg) {
+        return (0, common_1.isObject)(arg) && arg.uri instanceof uri_1.default;
+    }
+    TextEditorSelection.is = is;
+})(TextEditorSelection = exports.TextEditorSelection || (exports.TextEditorSelection = {}));
+var CustomEditorWidget;
+(function (CustomEditorWidget) {
+    function is(arg) {
+        return !!arg && 'modelRef' in arg;
+    }
+    CustomEditorWidget.is = is;
+})(CustomEditorWidget = exports.CustomEditorWidget || (exports.CustomEditorWidget = {}));
 //# sourceMappingURL=editor.js.map

package/lib/browser/index.d.ts

@@ -1,11 +1,11 @@
-export * from './diff-navigator';
-export * from './editor';
-export * from './editor-widget';
-export * from './editor-manager';
-export * from './editor-command';
-export * from './editor-menu';
-export * from './editor-keybinding-contexts';
-export * from './editor-frontend-module';
-export * from './editor-preferences';
-export * from './decorations';
+export * from './diff-navigator';
+export * from './editor';
+export * from './editor-widget';
+export * from './editor-manager';
+export * from './editor-command';
+export * from './editor-menu';
+export * from './editor-keybinding-contexts';
+export * from './editor-frontend-module';
+export * from './editor-preferences';
+export * from './decorations';
 //# sourceMappingURL=index.d.ts.map

package/lib/browser/index.js

@@ -1,38 +1,38 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2018 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./diff-navigator"), exports);
-__exportStar(require("./editor"), exports);
-__exportStar(require("./editor-widget"), exports);
-__exportStar(require("./editor-manager"), exports);
-__exportStar(require("./editor-command"), exports);
-__exportStar(require("./editor-menu"), exports);
-__exportStar(require("./editor-keybinding-contexts"), exports);
-__exportStar(require("./editor-frontend-module"), exports);
-__exportStar(require("./editor-preferences"), exports);
-__exportStar(require("./decorations"), exports);
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./diff-navigator"), exports);
+__exportStar(require("./editor"), exports);
+__exportStar(require("./editor-widget"), exports);
+__exportStar(require("./editor-manager"), exports);
+__exportStar(require("./editor-command"), exports);
+__exportStar(require("./editor-menu"), exports);
+__exportStar(require("./editor-keybinding-contexts"), exports);
+__exportStar(require("./editor-frontend-module"), exports);
+__exportStar(require("./editor-preferences"), exports);
+__exportStar(require("./decorations"), exports);
 //# sourceMappingURL=index.js.map

package/lib/browser/language-status/editor-language-status-service.d.ts

@@ -1,78 +1,78 @@
-import { StatusBar, StatusBarEntry } from '@theia/core/lib/browser';
-import { LanguageService } from '@theia/core/lib/browser/language-service';
-import { CommandRegistry } from '@theia/core';
-import { TextEditor } from '../editor';
-import { LanguageSelector } from '../../common/language-selector';
-import { AccessibilityInformation } from '@theia/core/lib/common/accessibility';
-import { CurrentEditorAccess } from '../editor-manager';
-import { Severity } from '@theia/core/lib/common/severity';
-import { LabelParser } from '@theia/core/lib/browser/label-parser';
-/**
- * Represents the severity of a language status item.
- */
-export declare enum LanguageStatusSeverity {
-    Information = 0,
-    Warning = 1,
-    Error = 2
-}
-/**
- * Command represents a particular invocation of a registered command.
- */
-export interface Command {
-    /**
-     * The identifier of the actual command handler.
-     */
-    id: string;
-    /**
-     * Title of the command invocation, like "Add local variable 'foo'".
-     */
-    title?: string;
-    /**
-     * A tooltip for for command, when represented in the UI.
-     */
-    tooltip?: string;
-    /**
-     * Arguments that the command handler should be
-     * invoked with.
-     */
-    arguments?: unknown[];
-}
-/**
- * A language status item is the preferred way to present language status reports for the active text editors,
- * such as selected linter or notifying about a configuration problem.
- */
-export interface LanguageStatus {
-    readonly id: string;
-    readonly name: string;
-    readonly selector: LanguageSelector;
-    readonly severity: Severity;
-    readonly label: string;
-    readonly detail: string;
-    readonly busy: boolean;
-    readonly source: string;
-    readonly command: Command | undefined;
-    readonly accessibilityInfo: AccessibilityInformation | undefined;
-}
-export declare class EditorLanguageStatusService {
-    protected readonly statusBar: StatusBar;
-    protected readonly languages: LanguageService;
-    protected readonly editorAccess: CurrentEditorAccess;
-    protected readonly commandRegistry: CommandRegistry;
-    protected readonly labelParser: LabelParser;
-    protected static LANGUAGE_MODE_ID: string;
-    protected static LANGUAGE_STATUS_ID: string;
-    protected readonly status: Map<number, LanguageStatus>;
-    protected pinnedCommands: Set<string>;
-    setLanguageStatusItem(handle: number, item: LanguageStatus): void;
-    removeLanguageStatusItem(handle: number): void;
-    updateLanguageStatus(editor: TextEditor | undefined): void;
-    protected updateLanguageStatusItems(editor?: TextEditor | undefined): void;
-    protected updatePinnedItems(items?: LanguageStatus[]): void;
-    protected toPinnedItem(item: LanguageStatus): StatusBarEntry;
-    protected createTooltip(items: LanguageStatus[]): HTMLElement;
-    protected setPinProperties(pin: HTMLElement, id: string): void;
-    protected togglePinned(item: LanguageStatus): void;
-    protected getSeverityIconClasses(severity: Severity): string;
-    protected renderWithIcons(host: HTMLElement, text?: string): void;
-}
+import { StatusBar, StatusBarEntry } from '@theia/core/lib/browser';
+import { LanguageService } from '@theia/core/lib/browser/language-service';
+import { CommandRegistry } from '@theia/core';
+import { TextEditor } from '../editor';
+import { LanguageSelector } from '../../common/language-selector';
+import { AccessibilityInformation } from '@theia/core/lib/common/accessibility';
+import { CurrentEditorAccess } from '../editor-manager';
+import { Severity } from '@theia/core/lib/common/severity';
+import { LabelParser } from '@theia/core/lib/browser/label-parser';
+/**
+ * Represents the severity of a language status item.
+ */
+export declare enum LanguageStatusSeverity {
+    Information = 0,
+    Warning = 1,
+    Error = 2
+}
+/**
+ * Command represents a particular invocation of a registered command.
+ */
+export interface Command {
+    /**
+     * The identifier of the actual command handler.
+     */
+    id: string;
+    /**
+     * Title of the command invocation, like "Add local variable 'foo'".
+     */
+    title?: string;
+    /**
+     * A tooltip for for command, when represented in the UI.
+     */
+    tooltip?: string;
+    /**
+     * Arguments that the command handler should be
+     * invoked with.
+     */
+    arguments?: unknown[];
+}
+/**
+ * A language status item is the preferred way to present language status reports for the active text editors,
+ * such as selected linter or notifying about a configuration problem.
+ */
+export interface LanguageStatus {
+    readonly id: string;
+    readonly name: string;
+    readonly selector: LanguageSelector;
+    readonly severity: Severity;
+    readonly label: string;
+    readonly detail: string;
+    readonly busy: boolean;
+    readonly source: string;
+    readonly command: Command | undefined;
+    readonly accessibilityInfo: AccessibilityInformation | undefined;
+}
+export declare class EditorLanguageStatusService {
+    protected readonly statusBar: StatusBar;
+    protected readonly languages: LanguageService;
+    protected readonly editorAccess: CurrentEditorAccess;
+    protected readonly commandRegistry: CommandRegistry;
+    protected readonly labelParser: LabelParser;
+    protected static LANGUAGE_MODE_ID: string;
+    protected static LANGUAGE_STATUS_ID: string;
+    protected readonly status: Map<number, LanguageStatus>;
+    protected pinnedCommands: Set<string>;
+    setLanguageStatusItem(handle: number, item: LanguageStatus): void;
+    removeLanguageStatusItem(handle: number): void;
+    updateLanguageStatus(editor: TextEditor | undefined): void;
+    protected updateLanguageStatusItems(editor?: TextEditor | undefined): void;
+    protected updatePinnedItems(items?: LanguageStatus[]): void;
+    protected toPinnedItem(item: LanguageStatus): StatusBarEntry;
+    protected createTooltip(items: LanguageStatus[]): HTMLElement;
+    protected setPinProperties(pin: HTMLElement, id: string): void;
+    protected togglePinned(item: LanguageStatus): void;
+    protected getSeverityIconClasses(severity: Severity): string;
+    protected renderWithIcons(host: HTMLElement, text?: string): void;
+}
 //# sourceMappingURL=editor-language-status-service.d.ts.map