@elice/material-exercise 1.240718.0-trasncript.2 → 1.240718.1

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

@@ -1,10 +1,15 @@
-import { createClass as _createClass, classCallCheck as _classCallCheck } from '../../../../../_virtual/_rollupPluginBabelHelpers.js';
 import { RemoteCursor } from './RemoteCursor.js';
 import { RemoteCursorWidget } from './RemoteCursorWidget.js';
 
-var RemoteCursorManager = /*#__PURE__*/function () {
-  function RemoteCursorManager(options) {
-    _classCallCheck(this, RemoteCursorManager);
+/* ====================================================================================================
+ * 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 _a, _b;
     this._options = {
       editor: options.editor,
@@ -17,88 +22,69 @@ var RemoteCursorManager = /*#__PURE__*/function () {
   /**
    * Adds a new remote cursor to the editor.
    */
-  _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);
-    }
-    /**
-     * 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
-     * using a Monaco IPosition object.
-     */
-  }, {
-    key: "setCursorPosition",
-    value: function setCursorPosition(id, position) {
-      var remoteCursorWidget = this._getCursor(id);
-      if (remoteCursorWidget) {
-        remoteCursorWidget.setPosition(position);
-      }
+  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();
     }
-    /**
-     * 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);
-      }
+    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);
     }
-    /**
-     * 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();
-      }
+  }
+  /**
+   * 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);
     }
-    /**
-     * Hides the specified cursor.
-     */
-  }, {
-    key: "hideCursor",
-    value: function hideCursor(id) {
-      var remoteCursorWidget = this._getCursor(id);
-      if (remoteCursorWidget) {
-        remoteCursorWidget.hide();
-      }
+  }
+  /**
+   * Shows the specified cursor. Note the cursor may be scrolled out of view.
+   */
+  showCursor(id) {
+    const remoteCursorWidget = this._getCursor(id);
+    if (remoteCursorWidget) {
+      remoteCursorWidget.show();
     }
-    /**
-     * 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;
+  }
+  /**
+   * Hides the specified cursor.
+   */
+  hideCursor(id) {
+    const remoteCursorWidget = this._getCursor(id);
+    if (remoteCursorWidget) {
+      remoteCursorWidget.hide();
     }
-  }]);
-  return RemoteCursorManager;
-}();
+  }
+  /**
+   * 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;
+  }
+}
 
 export { RemoteCursorManager };

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

@@ -1,7 +1,13 @@
-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') {
@@ -11,33 +17,32 @@ function getConfiguration(editorInstance) {
     lineHeight: editorInstance.getOption(editor.EditorOption.lineHeight)
   };
 }
-var RemoteCursorWidget = /*#__PURE__*/function () {
-  function RemoteCursorWidget(codeEditor, widgetId, color, label, tooltipEnabled, tooltipDuration, onDisposed) {
-    var _this = this;
-    _classCallCheck(this, RemoteCursorWidget);
+class RemoteCursorWidget {
+  constructor(codeEditor, widgetId, color, label, tooltipEnabled, tooltipDuration, onDisposed) {
     this._position = null;
     this._editor = codeEditor;
     this._tooltipDuration = tooltipDuration;
-    this._id = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor-").concat(widgetId);
+    this._id = `${REMOTE_MARKER_CLASS_NAME}-cursor-${widgetId}`;
     this._onDisposed = onDisposed;
     // Create the main node for the cursor element.
-    var _getConfiguration = getConfiguration(this._editor),
-      lineHeight = _getConfiguration.lineHeight;
+    const {
+      lineHeight
+    } = getConfiguration(this._editor);
     this._domNode = document.createElement('div');
-    this._domNode.className = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor");
+    this._domNode.className = `${REMOTE_MARKER_CLASS_NAME}-cursor`;
     this._domNode.style.background = color;
-    this._domNode.style.height = "".concat(lineHeight, "px");
+    this._domNode.style.height = `${lineHeight}px`;
     // Create the tooltip element if the tooltip is enabled.
     if (tooltipEnabled) {
       this._tooltipNode = document.createElement('div');
-      this._tooltipNode.className = "".concat(REMOTE_MARKER_CLASS_NAME, "-cursor-tooltip");
+      this._tooltipNode.className = `${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(function () {
-        _this._updateTooltipPosition();
+      this._scrollListener = this._editor.onDidScrollChange(() => {
+        this._updateTooltipPosition();
       });
     } else {
       this._tooltipNode = null;
@@ -47,121 +52,89 @@ var RemoteCursorWidget = /*#__PURE__*/function () {
     this._editor.addContentWidget(this);
     this._disposed = false;
   }
-  _createClass(RemoteCursorWidget, [{
-    key: "hide",
-    value: function hide() {
-      this._domNode.style.display = 'none';
-    }
-  }, {
-    key: "show",
-    value: function show() {
-      this._domNode.style.display = 'inherit';
-    }
-  }, {
-    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);
-      }
-    }
-  }, {
-    key: "setPosition",
-    value: function setPosition(position) {
-      var _this2 = this;
-      this._updatePosition(position);
-      if (this._tooltipNode !== null) {
-        setTimeout(function () {
-          return _this2._showTooltip();
-        }, 0);
-      }
-    }
-  }, {
-    key: "isDisposed",
-    value: function isDisposed() {
-      return this._disposed;
+  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);
     }
-  }, {
-    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();
+  }
+  setPosition(position) {
+    this._updatePosition(position);
+    if (this._tooltipNode !== null) {
+      setTimeout(() => this._showTooltip(), 0);
     }
-  }, {
-    key: "getId",
-    value: function getId() {
-      return this._id;
+  }
+  isDisposed() {
+    return this._disposed;
+  }
+  dispose() {
+    if (this._disposed) {
+      return;
     }
-  }, {
-    key: "getDomNode",
-    value: function getDomNode() {
-      return this._domNode;
+    this._editor.removeContentWidget(this);
+    if (this._scrollListener !== null) {
+      this._scrollListener.dispose();
     }
-  }, {
-    key: "getPosition",
-    value: function getPosition() {
-      return this._position;
+    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: "_updatePosition",
-    value: function _updatePosition(position) {
-      this._position = {
-        position: Object.assign({}, position),
-        preference: [editor.ContentWidgetPositionPreference.EXACT]
-      };
-      this._editor.layoutContentWidget(this);
+    this._hideTimer = setTimeout(() => {
+      this._setTooltipVisible(false);
+      this._hideTimer = null;
+    }, this._tooltipDuration);
+  }
+  _updateTooltipPosition() {
+    if (!this._tooltipNode) {
+      return;
     }
-  }, {
-    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);
+    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: "_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';
+    this._tooltipNode.style.left = '0';
+  }
+  _setTooltipVisible(visible) {
+    if (!this._tooltipNode) {
+      return;
     }
-  }, {
-    key: "_setTooltipVisible",
-    value: function _setTooltipVisible(visible) {
-      if (!this._tooltipNode) {
-        return;
-      }
-      if (visible) {
-        this._tooltipNode.style.opacity = '1.0';
-      } else {
-        this._tooltipNode.style.opacity = '0';
-      }
+    if (visible) {
+      this._tooltipNode.style.opacity = '1.0';
+    } else {
+      this._tooltipNode.style.opacity = '0';
     }
-  }]);
-  return RemoteCursorWidget;
-}();
+  }
+}
 
 export { RemoteCursorWidget };