@theia/plugin 1.59.0 → 1.60.0-next.43

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@theia/plugin",
-  "version": "1.59.0",
+  "version": "1.60.0-next.43+2a13720d2",
   "description": "Theia - Plugin API",
   "types": "./src/theia.d.ts",
   "publishConfig": {
@@ -32,5 +32,5 @@
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "21358137e41342742707f660b8e222f940a27652"
+  "gitHead": "2a13720d2d41d8ae6ee4e34cd2dee1c656a18018"
 }

package/src/theia.d.ts

@@ -357,19 +357,21 @@ export module '@theia/plugin' {
     export class Selection extends Range {
 
         /**
-         * Position where selection starts.
+         * The position at which the selection starts.
+         * This position might be before or after {@link Selection.active active}.
          */
-        anchor: Position;
+        readonly anchor: Position;
 
         /**
-         * Position of the cursor
+         * The position of the cursor.
+         * This position might be before or after {@link Selection.anchor anchor}.
          */
-        active: Position;
+        readonly active: Position;
 
         /**
-         * A selection is reversed if `active.isBefore(anchor)`
+         * A selection is reversed if its {@link Selection.anchor anchor} is the {@link Selection.end end} position.
          */
-        isReversed: boolean;
+        readonly isReversed: boolean;
 
         /**
          * Create a selection from two positions.
@@ -14528,6 +14530,7 @@ export module '@theia/plugin' {
          *
          * @returns The resolved edit or a thenable that resolves to such. It is OK to return the given
          * `edit`. If no result is returned, the given `edit` is used.
+         * @stubbed
          */
         resolveDocumentDropEdit?(edit: T, token: CancellationToken): ProviderResult<T>;
     }
@@ -14728,48 +14731,6 @@ export module '@theia/plugin' {
      */
     export type CharacterPair = [string, string];
 
-    /**
-     * An edit operation applied {@link DocumentDropEditProvider on drop}.
-     */
-    export class DocumentDropEdit {
-        /**
-         * The text or snippet to insert at the drop location.
-         */
-        insertText: string | SnippetString;
-
-        /**
-         * An optional additional edit to apply on drop.
-         */
-        additionalEdit?: WorkspaceEdit;
-
-        /**
-         * @param insertText The text or snippet to insert at the drop location.
-         */
-        constructor(insertText: string | SnippetString);
-    }
-
-    /**
-     * Provider which handles dropping of resources into a text editor.
-     *
-     * This allows users to drag and drop resources (including resources from external apps) into the editor. While dragging
-     * and dropping files, users can hold down `shift` to drop the file into the editor instead of opening it.
-     * Requires `editor.dropIntoEditor.enabled` to be on.
-     */
-    export interface DocumentDropEditProvider {
-        /**
-         * Provide edits which inserts the content being dragged and dropped into the document.
-         *
-         * @param document The document in which the drop occurred.
-         * @param position The position in the document where the drop occurred.
-         * @param dataTransfer A {@link DataTransfer} object that holds data about what is being dragged and dropped.
-         * @param token A cancellation token.
-         *
-         * @return A {@link DocumentDropEdit} or a thenable that resolves to such. The lack of a result can be
-         * signaled by returning `undefined` or `null`.
-         */
-        provideDocumentDropEdits(document: TextDocument, position: Position, dataTransfer: DataTransfer, token: CancellationToken): ProviderResult<DocumentDropEdit>;
-    }
-
     /**
      * Represents a session of a currently logged in user.
      */