@elice/material-exercise 1.240718.3 → 1.240719.1

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

@@ -1,15 +1,10 @@
+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,
@@ -22,69 +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,13 +1,7 @@
+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') {
@@ -17,32 +11,33 @@ function getConfiguration(editorInstance) {
     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._id = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor-").concat(widgetId);
     this._onDisposed = onDisposed;
     // Create the main node for the cursor element.
-    const {
-      lineHeight
-    } = getConfiguration(this._editor);
+    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`;
+    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
       // tooltip location on scrolling.
-      this._scrollListener = this._editor.onDidScrollChange(() => {
-        this._updateTooltipPosition();
+      this._scrollListener = this._editor.onDidScrollChange(function () {
+        _this._updateTooltipPosition();
       });
     } else {
       this._tooltipNode = null;
@@ -52,89 +47,121 @@ class RemoteCursorWidget {
     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 };