@elice/material-exercise 1.230325.0 → 1.230418.0

package/es/components/shared/monaco-editor/vendors/monaco-collab-ext/RemoteCursor.js

@@ -1,3 +1,5 @@
+import { createClass as _createClass, classCallCheck as _classCallCheck } from '../../../../../_virtual/_rollupPluginBabelHelpers.js';
+
 /* ====================================================================================================
  * These codes forked and modified from `convergencelabs/monaco-collab-ext`
  * under the terms of the MIT license.
@@ -5,89 +7,89 @@
  * - project: https://github.com/convergencelabs/monaco-collab-ext
  * - codes: https://github.com/convergencelabs/monaco-collab-ext/tree/6ece72028e4b8fb35e9928a304fbdfe28a4e7be9/src/ts
  * ==================================================================================================== */
-
 /**
  * The RemoteCursor class represents a remote cursor in the MonacoEditor. This
  * class allows you to control the location and visibility of the cursor.
  */
-class RemoteCursor {
-  constructor(delegate) {
+var RemoteCursor = /*#__PURE__*/function () {
+  function RemoteCursor(delegate) {
+    _classCallCheck(this, RemoteCursor);
     this._delegate = delegate;
   }
   /**
    * Gets the unique id of this cursor.
    */
-
-
-  getId() {
-    return this._delegate.getId();
-  }
-  /**
-   * Gets the position of the cursor.
-   */
-
-
-  getPosition() {
-    var _a;
-
-    return (_a = this._delegate.getPosition()) === null || _a === void 0 ? void 0 : _a.position;
-  }
-  /**
-   * Sets the location of the cursor based on a Monaco Editor IPosition.
-   */
-
-
-  setPosition(position) {
-    this._delegate.setPosition(position);
-  }
-  /**
-   * Sets the location of the cursor using a zero-based text offset.
-   *
-   * @param offset
-   *   The offset of the cursor.
-   */
-
-
-  setOffset(offset) {
-    this._delegate.setOffset(offset);
-  }
-  /**
-   * Shows the cursor if it is hidden.
-   */
-
-
-  show() {
-    this._delegate.show();
-  }
-  /**
-   * Hides the cursor if it is shown.
-   */
-
-
-  hide() {
-    this._delegate.hide();
-  }
-  /**
-   * Determines if the cursor has already been disposed. A cursor is disposed
-   * when it has been permanently removed from the editor.
-   *
-   * @returns
-   *   True if the cursor has been disposed, false otherwise.
-   */
-
-
-  isDisposed() {
-    return this._delegate.isDisposed();
-  }
-  /**
-   * Disposes of this cursor, removing it from the editor.
-   */
-
-
-  dispose() {
-    this._delegate.dispose();
-  }
-
-}
+  _createClass(RemoteCursor, [{
+    key: "getId",
+    value: function getId() {
+      return this._delegate.getId();
+    }
+    /**
+     * Gets the position of the cursor.
+     */
+  }, {
+    key: "getPosition",
+    value: function getPosition() {
+      var _a;
+      return (_a = this._delegate.getPosition()) === null || _a === void 0 ? void 0 : _a.position;
+    }
+    /**
+     * Sets the location of the cursor based on a Monaco Editor IPosition.
+     */
+  }, {
+    key: "setPosition",
+    value: function setPosition(position) {
+      this._delegate.setPosition(position);
+    }
+    /**
+     * Sets the location of the cursor using a zero-based text offset.
+     *
+     * @param offset
+     *   The offset of the cursor.
+     */
+  }, {
+    key: "setOffset",
+    value: function setOffset(offset) {
+      this._delegate.setOffset(offset);
+    }
+    /**
+     * Shows the cursor if it is hidden.
+     */
+  }, {
+    key: "show",
+    value: function show() {
+      this._delegate.show();
+    }
+    /**
+     * Hides the cursor if it is shown.
+     */
+  }, {
+    key: "hide",
+    value: function hide() {
+      this._delegate.hide();
+    }
+    /**
+     * Determines if the cursor has already been disposed. A cursor is disposed
+     * when it has been permanently removed from the editor.
+     *
+     * @returns
+     *   True if the cursor has been disposed, false otherwise.
+     */
+  }, {
+    key: "isDisposed",
+    value: function isDisposed() {
+      return this._delegate.isDisposed();
+    }
+    /**
+     * Disposes of this cursor, removing it from the editor.
+     */
+  }, {
+    key: "dispose",
+    value: function dispose() {
+      this._delegate.dispose();
+    }
+  }]);
+  return RemoteCursor;
+}();
 
 export { RemoteCursor };

package/es/components/shared/monaco-editor/vendors/monaco-collab-ext/RemoteCursorManager.js

@@ -1,17 +1,11 @@
+import { createClass as _createClass, classCallCheck as _classCallCheck } from '../../../../../_virtual/_rollupPluginBabelHelpers.js';
 import { RemoteCursor } from './RemoteCursor.js';
 import { RemoteCursorWidget } from './RemoteCursorWidget.js';
 
-/* ====================================================================================================
- * These codes forked and modified from `convergencelabs/monaco-collab-ext`
- * under the terms of the MIT license.
- * Make sure to check the original project if any issue exists.
- * - project: https://github.com/convergencelabs/monaco-collab-ext
- * - codes: https://github.com/convergencelabs/monaco-collab-ext/tree/6ece72028e4b8fb35e9928a304fbdfe28a4e7be9/src/ts
- * ==================================================================================================== */
-class RemoteCursorManager {
-  constructor(options) {
+var RemoteCursorManager = /*#__PURE__*/function () {
+  function RemoteCursorManager(options) {
+    _classCallCheck(this, RemoteCursorManager);
     var _a, _b;
-
     this._options = {
       editor: options.editor,
       tooltips: (_a = options.tooltips) !== null && _a !== void 0 ? _a : true,
@@ -23,93 +17,88 @@ class RemoteCursorManager {
   /**
    * Adds a new remote cursor to the editor.
    */
-
-
-  addCursor(id, color, label) {
-    const widgetId = `${this._nextWidgetId++}`;
-    const tooltipDurationMs = this._options.tooltipDuration * 1000;
-    const cursorWidget = new RemoteCursorWidget(this._options.editor, widgetId, color, label !== null && label !== void 0 ? label : '', this._options.tooltips, tooltipDurationMs, () => this.removeCursor(id));
-
-    this._cursorWidgets.set(id, cursorWidget);
-
-    return new RemoteCursor(cursorWidget);
-  }
-  /**
-   * Removes the remote cursor from the editor.
-   */
-
-
-  removeCursor(id) {
-    const remoteCursorWidget = this._getCursor(id);
-
-    if (remoteCursorWidget && !remoteCursorWidget.isDisposed()) {
-      remoteCursorWidget.dispose();
+  _createClass(RemoteCursorManager, [{
+    key: "addCursor",
+    value: function addCursor(id, color, label) {
+      var _this = this;
+      var widgetId = "".concat(this._nextWidgetId++);
+      var tooltipDurationMs = this._options.tooltipDuration * 1000;
+      var cursorWidget = new RemoteCursorWidget(this._options.editor, widgetId, color, label !== null && label !== void 0 ? label : '', this._options.tooltips, tooltipDurationMs, function () {
+        return _this.removeCursor(id);
+      });
+      this._cursorWidgets.set(id, cursorWidget);
+      return new RemoteCursor(cursorWidget);
     }
-
-    this._cursorWidgets.delete(id);
-  }
-  /**
-   * Updates the location of the specified remote cursor
-   * using a Monaco IPosition object.
-   */
-
-
-  setCursorPosition(id, position) {
-    const remoteCursorWidget = this._getCursor(id);
-
-    if (remoteCursorWidget) {
-      remoteCursorWidget.setPosition(position);
+    /**
+     * Removes the remote cursor from the editor.
+     */
+  }, {
+    key: "removeCursor",
+    value: function removeCursor(id) {
+      var remoteCursorWidget = this._getCursor(id);
+      if (remoteCursorWidget && !remoteCursorWidget.isDisposed()) {
+        remoteCursorWidget.dispose();
+      }
+      this._cursorWidgets.delete(id);
     }
-  }
-  /**
-   * Updates the location of the specified remote cursor
-   * based on a zero-based text offset.
-   */
-
-
-  setCursorOffset(id, offset) {
-    const remoteCursorWidget = this._getCursor(id);
-
-    if (remoteCursorWidget) {
-      remoteCursorWidget.setOffset(offset);
+    /**
+     * Updates the location of the specified remote cursor
+     * using a Monaco IPosition object.
+     */
+  }, {
+    key: "setCursorPosition",
+    value: function setCursorPosition(id, position) {
+      var remoteCursorWidget = this._getCursor(id);
+      if (remoteCursorWidget) {
+        remoteCursorWidget.setPosition(position);
+      }
     }
-  }
-  /**
-   * Shows the specified cursor. Note the cursor may be scrolled out of view.
-   */
-
-
-  showCursor(id) {
-    const remoteCursorWidget = this._getCursor(id);
-
-    if (remoteCursorWidget) {
-      remoteCursorWidget.show();
+    /**
+     * Updates the location of the specified remote cursor
+     * based on a zero-based text offset.
+     */
+  }, {
+    key: "setCursorOffset",
+    value: function setCursorOffset(id, offset) {
+      var remoteCursorWidget = this._getCursor(id);
+      if (remoteCursorWidget) {
+        remoteCursorWidget.setOffset(offset);
+      }
     }
-  }
-  /**
-   * Hides the specified cursor.
-   */
-
-
-  hideCursor(id) {
-    const remoteCursorWidget = this._getCursor(id);
-
-    if (remoteCursorWidget) {
-      remoteCursorWidget.hide();
+    /**
+     * Shows the specified cursor. Note the cursor may be scrolled out of view.
+     */
+  }, {
+    key: "showCursor",
+    value: function showCursor(id) {
+      var remoteCursorWidget = this._getCursor(id);
+      if (remoteCursorWidget) {
+        remoteCursorWidget.show();
+      }
     }
-  }
-  /**
-   * A helper method that gets a cursor by id, or throws an exception.
-   * @internal
-   */
-
-
-  _getCursor(id) {
-    var _a;
-
-    return (_a = this._cursorWidgets.get(id)) !== null && _a !== void 0 ? _a : null;
-  }
-
-}
+    /**
+     * Hides the specified cursor.
+     */
+  }, {
+    key: "hideCursor",
+    value: function hideCursor(id) {
+      var remoteCursorWidget = this._getCursor(id);
+      if (remoteCursorWidget) {
+        remoteCursorWidget.hide();
+      }
+    }
+    /**
+     * A helper method that gets a cursor by id, or throws an exception.
+     * @internal
+     */
+  }, {
+    key: "_getCursor",
+    value: function _getCursor(id) {
+      var _a;
+      return (_a = this._cursorWidgets.get(id)) !== null && _a !== void 0 ? _a : null;
+    }
+  }]);
+  return RemoteCursorManager;
+}();
 
 export { RemoteCursorManager };

package/es/components/shared/monaco-editor/vendors/monaco-collab-ext/RemoteCursorWidget.js

@@ -1,177 +1,167 @@
+import { createClass as _createClass, classCallCheck as _classCallCheck } from '../../../../../_virtual/_rollupPluginBabelHelpers.js';
 import { editor } from 'monaco-editor/esm/vs/editor/editor.api';
 import { REMOTE_MARKER_CLASS_NAME } from './styles.js';
 
-/* ====================================================================================================
- * These codes forked and modified from `convergencelabs/monaco-collab-ext`
- * under the terms of the MIT license.
- * Make sure to check the original project if any issue exists.
- * - project: https://github.com/convergencelabs/monaco-collab-ext
- * - codes: https://github.com/convergencelabs/monaco-collab-ext/tree/6ece72028e4b8fb35e9928a304fbdfe28a4e7be9/src/ts
- * ==================================================================================================== */
-
 function getConfiguration(editorInstance) {
   // Support for Monaco < 0.19.0
   if (typeof editorInstance.getConfiguration === 'function') {
     return editorInstance.getConfiguration();
   }
-
   return {
     lineHeight: editorInstance.getOption(editor.EditorOption.lineHeight)
   };
 }
-
-class RemoteCursorWidget {
-  constructor(codeEditor, widgetId, color, label, tooltipEnabled, tooltipDuration, onDisposed) {
+var RemoteCursorWidget = /*#__PURE__*/function () {
+  function RemoteCursorWidget(codeEditor, widgetId, color, label, tooltipEnabled, tooltipDuration, onDisposed) {
+    var _this = this;
+    _classCallCheck(this, RemoteCursorWidget);
     this._position = null;
     this._editor = codeEditor;
     this._tooltipDuration = tooltipDuration;
-    this._id = `${REMOTE_MARKER_CLASS_NAME}-cursor-${widgetId}`;
-    this._onDisposed = onDisposed; // Create the main node for the cursor element.
-
-    const {
-      lineHeight
-    } = getConfiguration(this._editor);
+    this._id = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor-").concat(widgetId);
+    this._onDisposed = onDisposed;
+    // Create the main node for the cursor element.
+    var _getConfiguration = getConfiguration(this._editor),
+      lineHeight = _getConfiguration.lineHeight;
     this._domNode = document.createElement('div');
-    this._domNode.className = `${REMOTE_MARKER_CLASS_NAME}-cursor`;
+    this._domNode.className = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor");
     this._domNode.style.background = color;
-    this._domNode.style.height = `${lineHeight}px`; // Create the tooltip element if the tooltip is enabled.
-
+    this._domNode.style.height = "".concat(lineHeight, "px");
+    // Create the tooltip element if the tooltip is enabled.
     if (tooltipEnabled) {
       this._tooltipNode = document.createElement('div');
-      this._tooltipNode.className = `${REMOTE_MARKER_CLASS_NAME}-cursor-tooltip`;
+      this._tooltipNode.className = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor-tooltip");
       this._tooltipNode.style.background = color;
       this._tooltipNode.innerHTML = label;
-
-      this._domNode.appendChild(this._tooltipNode); // we only need to listen to scroll positions to update the
+      this._domNode.appendChild(this._tooltipNode);
+      // we only need to listen to scroll positions to update the
       // tooltip location on scrolling.
-
-
-      this._scrollListener = this._editor.onDidScrollChange(() => {
-        this._updateTooltipPosition();
+      this._scrollListener = this._editor.onDidScrollChange(function () {
+        _this._updateTooltipPosition();
       });
     } else {
       this._tooltipNode = null;
       this._scrollListener = null;
     }
-
     this._hideTimer = null;
-
     this._editor.addContentWidget(this);
-
     this._disposed = false;
   }
-
-  hide() {
-    this._domNode.style.display = 'none';
-  }
-
-  show() {
-    this._domNode.style.display = 'inherit';
-  }
-
-  setOffset(offset) {
-    var _a;
-
-    const position = (_a = this._editor.getModel()) === null || _a === void 0 ? void 0 : _a.getPositionAt(offset);
-
-    if (position) {
-      this.setPosition(position);
+  _createClass(RemoteCursorWidget, [{
+    key: "hide",
+    value: function hide() {
+      this._domNode.style.display = 'none';
     }
-  }
-
-  setPosition(position) {
-    this._updatePosition(position);
-
-    if (this._tooltipNode !== null) {
-      setTimeout(() => this._showTooltip(), 0);
+  }, {
+    key: "show",
+    value: function show() {
+      this._domNode.style.display = 'inherit';
     }
-  }
-
-  isDisposed() {
-    return this._disposed;
-  }
-
-  dispose() {
-    if (this._disposed) {
-      return;
+  }, {
+    key: "setOffset",
+    value: function setOffset(offset) {
+      var _a;
+      var position = (_a = this._editor.getModel()) === null || _a === void 0 ? void 0 : _a.getPositionAt(offset);
+      if (position) {
+        this.setPosition(position);
+      }
     }
-
-    this._editor.removeContentWidget(this);
-
-    if (this._scrollListener !== null) {
-      this._scrollListener.dispose();
+  }, {
+    key: "setPosition",
+    value: function setPosition(position) {
+      var _this2 = this;
+      this._updatePosition(position);
+      if (this._tooltipNode !== null) {
+        setTimeout(function () {
+          return _this2._showTooltip();
+        }, 0);
+      }
     }
-
-    this._disposed = true;
-
-    this._onDisposed();
-  }
-
-  getId() {
-    return this._id;
-  }
-
-  getDomNode() {
-    return this._domNode;
-  }
-
-  getPosition() {
-    return this._position;
-  }
-
-  _updatePosition(position) {
-    this._position = {
-      position: Object.assign({}, position),
-      preference: [editor.ContentWidgetPositionPreference.EXACT]
-    };
-
-    this._editor.layoutContentWidget(this);
-  }
-
-  _showTooltip() {
-    this._updateTooltipPosition();
-
-    if (this._hideTimer !== null) {
-      clearTimeout(this._hideTimer);
-    } else {
-      this._setTooltipVisible(true);
+  }, {
+    key: "isDisposed",
+    value: function isDisposed() {
+      return this._disposed;
     }
-
-    this._hideTimer = setTimeout(() => {
-      this._setTooltipVisible(false);
-
-      this._hideTimer = null;
-    }, this._tooltipDuration);
-  }
-
-  _updateTooltipPosition() {
-    if (!this._tooltipNode) {
-      return;
+  }, {
+    key: "dispose",
+    value: function dispose() {
+      if (this._disposed) {
+        return;
+      }
+      this._editor.removeContentWidget(this);
+      if (this._scrollListener !== null) {
+        this._scrollListener.dispose();
+      }
+      this._disposed = true;
+      this._onDisposed();
     }
-
-    const distanceFromTop = this._domNode.offsetTop - this._editor.getScrollTop();
-
-    if (distanceFromTop - this._tooltipNode.offsetHeight < 5) {
-      this._tooltipNode.style.top = `${this._tooltipNode.offsetHeight + 2}px`;
-    } else {
-      this._tooltipNode.style.top = `-${this._tooltipNode.offsetHeight}px`;
+  }, {
+    key: "getId",
+    value: function getId() {
+      return this._id;
     }
-
-    this._tooltipNode.style.left = '0';
-  }
-
-  _setTooltipVisible(visible) {
-    if (!this._tooltipNode) {
-      return;
+  }, {
+    key: "getDomNode",
+    value: function getDomNode() {
+      return this._domNode;
     }
-
-    if (visible) {
-      this._tooltipNode.style.opacity = '1.0';
-    } else {
-      this._tooltipNode.style.opacity = '0';
+  }, {
+    key: "getPosition",
+    value: function getPosition() {
+      return this._position;
     }
-  }
-
-}
+  }, {
+    key: "_updatePosition",
+    value: function _updatePosition(position) {
+      this._position = {
+        position: Object.assign({}, position),
+        preference: [editor.ContentWidgetPositionPreference.EXACT]
+      };
+      this._editor.layoutContentWidget(this);
+    }
+  }, {
+    key: "_showTooltip",
+    value: function _showTooltip() {
+      var _this3 = this;
+      this._updateTooltipPosition();
+      if (this._hideTimer !== null) {
+        clearTimeout(this._hideTimer);
+      } else {
+        this._setTooltipVisible(true);
+      }
+      this._hideTimer = setTimeout(function () {
+        _this3._setTooltipVisible(false);
+        _this3._hideTimer = null;
+      }, this._tooltipDuration);
+    }
+  }, {
+    key: "_updateTooltipPosition",
+    value: function _updateTooltipPosition() {
+      if (!this._tooltipNode) {
+        return;
+      }
+      var distanceFromTop = this._domNode.offsetTop - this._editor.getScrollTop();
+      if (distanceFromTop - this._tooltipNode.offsetHeight < 5) {
+        this._tooltipNode.style.top = "".concat(this._tooltipNode.offsetHeight + 2, "px");
+      } else {
+        this._tooltipNode.style.top = "-".concat(this._tooltipNode.offsetHeight, "px");
+      }
+      this._tooltipNode.style.left = '0';
+    }
+  }, {
+    key: "_setTooltipVisible",
+    value: function _setTooltipVisible(visible) {
+      if (!this._tooltipNode) {
+        return;
+      }
+      if (visible) {
+        this._tooltipNode.style.opacity = '1.0';
+      } else {
+        this._tooltipNode.style.opacity = '0';
+      }
+    }
+  }]);
+  return RemoteCursorWidget;
+}();
 
 export { RemoteCursorWidget };