Method handleEvent

website/script/index.js:255–296

(event)

  }

  handleEvent(event) {
    if (event.type == "diagnostic") {
      this.view.dispatch(setDiagnostics(this.view.state, event.diagnostics));
    } else if (event.type == "focusout") {
      codeFromUrl.set(event.target.code);
      codeFromLocal.set(event.target.code);
    } else if (event.type == "viewer-highlight") {
      createHighlightEffect(this.view, event);
    } else if (event.type == "mouseover") {
      const pos = this.view.posAtCoords(event);
      const tree = syntaxTree(this.view.state);
      let cursor = tree.cursorAt(pos);
      this.dispatchEvent(
        new EditorHighlight({ start: cursor.from, end: cursor.to }),
      );
    } else if (event.type == "click" || event.type === "focusin") {
      codeFromUrl.set(this.code);
      codeFromLocal.set(this.code);
      const tree = syntaxTree(this.view.state);
      let cursor;
      if (event.x && event.y) {
        const pos = this.view.posAtCoords(event);
        cursor = tree.cursorAt(pos);
      } else {
        cursor = tree.cursorAt(this.view.state.selection.anchor);
      }
      this.dispatchEvent(
        new EditorFocus({ start: cursor.from, end: cursor.to }),
      );
    } else if (event.type == "load-code") {
      this.view.dispatch(
        this.view.state.update({
          changes: {
            from: 0,
            to: this.view.state.doc.length,
            insert: event.sourcetext,
          },
        }),
      );
      this.dispatchEvent(new EditorChangeEvent(event.sourcetext));
    }
  }
}

class MetricEvent extends Event {