@modusoperandi/licit 0.1.4 → 0.1.8

package/dist/ui/TableGridSizeEditor.js.flow

@@ -1,184 +1,184 @@
-// @flow
-
-import cx from 'classnames';
-import * as React from 'react';
-import ReactDOM from 'react-dom';
-
-import clamp from './clamp';
-import htmlElementToRect from './htmlElementToRect';
-import { fromHTMlElement, fromXY, isIntersected } from './rects';
-
-import './czi-table-grid-size-editor.css';
-
-export type TableGridSizeEditorValue = {
-  cols: number,
-  rows: number,
-};
-
-const GUTTER_SIZE = 5;
-const CELL_SIZE = 16;
-// [FS] IRAD-1012 2020-07-14
-// Fix: Limited Table Grid size from 20 to 7
-const MAX_SIZE = 7;
-
-class GridCell extends React.PureComponent<any, any> {
-  render(): React.Element<any> {
-    const { x, y, selected } = this.props;
-    const style = {
-      left: x + 'px',
-      top: y + 'px',
-      width: CELL_SIZE + 'px',
-      height: CELL_SIZE + 'px',
-    };
-    const className = cx('czi-table-grid-size-editor-cell', {
-      selected,
-    });
-    return <div className={className} style={style} />;
-  }
-}
-
-class TableGridSizeEditor extends React.PureComponent<any, any> {
-  _ex = 0;
-  _ey = 0;
-  _mx = 0;
-  _my = 0;
-  _rafID = 0;
-  _ref = null;
-  _entered = false;
-
-  props: {
-    close: (val: TableGridSizeEditorValue) => void,
-  };
-
-  state: TableGridSizeEditorValue = {
-    rows: 1,
-    cols: 1,
-  };
-
-  componentWillUnmount(): void {
-    if (this._entered) {
-      document.removeEventListener('mousemove', this._onMouseMove, true);
-    }
-    this._rafID && cancelAnimationFrame(this._rafID);
-  }
-
-  render(): React.Element<any> {
-    const { rows, cols } = this.state;
-    let rr = Math.max(5, rows);
-    let cc = Math.max(5, cols);
-    if (rr === rows) {
-      rr = Math.min(MAX_SIZE, rr + 1);
-    }
-    if (cc === cols) {
-      cc = Math.min(MAX_SIZE, cc + 1);
-    }
-    const cells = [];
-    let ii = 0;
-    let y = 0;
-    let w = 0;
-    let h = 0;
-    while (ii < rr) {
-      y += GUTTER_SIZE;
-      let jj = 0;
-      let x = 0;
-      while (jj < cc) {
-        x += GUTTER_SIZE;
-        const selected = ii < rows && jj < cols;
-        cells.push(
-          <GridCell
-            key={`${String(ii)}-${String(jj)}`}
-            selected={selected}
-            x={x}
-            y={y}
-          />
-        );
-        x += CELL_SIZE;
-        w = x + GUTTER_SIZE;
-        jj++;
-      }
-      y += CELL_SIZE;
-      h = y + GUTTER_SIZE;
-      ii++;
-    }
-    const bodyStyle = { width: w + 'px', height: h + 'px' };
-
-    return (
-      <div className="czi-table-grid-size-editor" ref={this._onRef}>
-        <div
-          className="czi-table-grid-size-editor-body"
-          onMouseDown={this._onMouseDown}
-          onMouseEnter={this._onMouseEnter}
-          style={bodyStyle}
-        >
-          {cells}
-        </div>
-        <div className="czi-table-grid-size-editor-footer">
-          {rows} X {cols}
-        </div>
-      </div>
-    );
-  }
-
-  _onRef = (ref: any): void => {
-    this._ref = ref;
-  };
-
-  _onMouseEnter = (e: MouseEvent): void => {
-    const node = e.currentTarget;
-    if (node instanceof HTMLElement) {
-      const rect = fromHTMlElement(node);
-      const mx = Math.round(e.clientX);
-      const my = Math.round(e.clientY);
-      this._ex = rect.x;
-      this._ey = rect.y;
-      this._mx = mx;
-      this._my = my;
-      if (!this._entered) {
-        this._entered = true;
-        document.addEventListener('mousemove', this._onMouseMove, true);
-      }
-    }
-  };
-
-  _onMouseMove = (e: MouseEvent): void => {
-    const el = this._ref && ReactDOM.findDOMNode(this._ref);
-    const elRect = el ? htmlElementToRect(el) : null;
-    const mouseRect = fromXY(e.screenX, e.screenY, 10);
-
-    if (elRect && mouseRect && isIntersected(elRect, mouseRect, 50)) {
-      // This prevents `PopUpManager` from collapsing the editor.
-      e.preventDefault();
-      e.stopImmediatePropagation();
-    }
-
-    const mx = Math.round(e.clientX);
-    const my = Math.round(e.clientY);
-    if (mx !== this._mx || my !== this._my) {
-      this._mx = mx;
-      this._my = my;
-      this._rafID && cancelAnimationFrame(this._rafID);
-      this._rafID = requestAnimationFrame(this._updateGridSize);
-    }
-  };
-
-  _updateGridSize = (): void => {
-    this._rafID = 0;
-    const mx = this._mx;
-    const my = this._my;
-    const x = mx - this._ex;
-    const y = my - this._ey;
-    const rr = clamp(1, Math.ceil(y / (CELL_SIZE + GUTTER_SIZE)), MAX_SIZE);
-    const cc = clamp(1, Math.ceil(x / (CELL_SIZE + GUTTER_SIZE)), MAX_SIZE);
-    const { rows, cols } = this.state;
-    if (rows !== rr || cols !== cc) {
-      this.setState({ rows: rr, cols: cc });
-    }
-  };
-
-  _onMouseDown = (e: SyntheticEvent<>): void => {
-    e.preventDefault();
-    this.props.close(this.state);
-  };
-}
-
-export default TableGridSizeEditor;
+// @flow
+
+import cx from 'classnames';
+import * as React from 'react';
+import ReactDOM from 'react-dom';
+
+import clamp from './clamp';
+import htmlElementToRect from './htmlElementToRect';
+import { fromHTMlElement, fromXY, isIntersected } from './rects';
+
+import './czi-table-grid-size-editor.css';
+
+export type TableGridSizeEditorValue = {
+  cols: number,
+  rows: number,
+};
+
+const GUTTER_SIZE = 5;
+const CELL_SIZE = 16;
+// [FS] IRAD-1012 2020-07-14
+// Fix: Limited Table Grid size from 20 to 7
+const MAX_SIZE = 7;
+
+class GridCell extends React.PureComponent<any, any> {
+  render(): React.Element<any> {
+    const { x, y, selected } = this.props;
+    const style = {
+      left: x + 'px',
+      top: y + 'px',
+      width: CELL_SIZE + 'px',
+      height: CELL_SIZE + 'px',
+    };
+    const className = cx('czi-table-grid-size-editor-cell', {
+      selected,
+    });
+    return <div className={className} style={style} />;
+  }
+}
+
+class TableGridSizeEditor extends React.PureComponent<any, any> {
+  _ex = 0;
+  _ey = 0;
+  _mx = 0;
+  _my = 0;
+  _rafID = 0;
+  _ref = null;
+  _entered = false;
+
+  props: {
+    close: (val: TableGridSizeEditorValue) => void,
+  };
+
+  state: TableGridSizeEditorValue = {
+    rows: 1,
+    cols: 1,
+  };
+
+  componentWillUnmount(): void {
+    if (this._entered) {
+      document.removeEventListener('mousemove', this._onMouseMove, true);
+    }
+    this._rafID && cancelAnimationFrame(this._rafID);
+  }
+
+  render(): React.Element<any> {
+    const { rows, cols } = this.state;
+    let rr = Math.max(5, rows);
+    let cc = Math.max(5, cols);
+    if (rr === rows) {
+      rr = Math.min(MAX_SIZE, rr + 1);
+    }
+    if (cc === cols) {
+      cc = Math.min(MAX_SIZE, cc + 1);
+    }
+    const cells = [];
+    let ii = 0;
+    let y = 0;
+    let w = 0;
+    let h = 0;
+    while (ii < rr) {
+      y += GUTTER_SIZE;
+      let jj = 0;
+      let x = 0;
+      while (jj < cc) {
+        x += GUTTER_SIZE;
+        const selected = ii < rows && jj < cols;
+        cells.push(
+          <GridCell
+            key={`${String(ii)}-${String(jj)}`}
+            selected={selected}
+            x={x}
+            y={y}
+          />
+        );
+        x += CELL_SIZE;
+        w = x + GUTTER_SIZE;
+        jj++;
+      }
+      y += CELL_SIZE;
+      h = y + GUTTER_SIZE;
+      ii++;
+    }
+    const bodyStyle = { width: w + 'px', height: h + 'px' };
+
+    return (
+      <div className="czi-table-grid-size-editor" ref={this._onRef}>
+        <div
+          className="czi-table-grid-size-editor-body"
+          onMouseDown={this._onMouseDown}
+          onMouseEnter={this._onMouseEnter}
+          style={bodyStyle}
+        >
+          {cells}
+        </div>
+        <div className="czi-table-grid-size-editor-footer">
+          {rows} X {cols}
+        </div>
+      </div>
+    );
+  }
+
+  _onRef = (ref: any): void => {
+    this._ref = ref;
+  };
+
+  _onMouseEnter = (e: MouseEvent): void => {
+    const node = e.currentTarget;
+    if (node instanceof HTMLElement) {
+      const rect = fromHTMlElement(node);
+      const mx = Math.round(e.clientX);
+      const my = Math.round(e.clientY);
+      this._ex = rect.x;
+      this._ey = rect.y;
+      this._mx = mx;
+      this._my = my;
+      if (!this._entered) {
+        this._entered = true;
+        document.addEventListener('mousemove', this._onMouseMove, true);
+      }
+    }
+  };
+
+  _onMouseMove = (e: MouseEvent): void => {
+    const el = this._ref && ReactDOM.findDOMNode(this._ref);
+    const elRect = el ? htmlElementToRect(el) : null;
+    const mouseRect = fromXY(e.screenX, e.screenY, 10);
+
+    if (elRect && mouseRect && isIntersected(elRect, mouseRect, 50)) {
+      // This prevents `PopUpManager` from collapsing the editor.
+      e.preventDefault();
+      e.stopImmediatePropagation();
+    }
+
+    const mx = Math.round(e.clientX);
+    const my = Math.round(e.clientY);
+    if (mx !== this._mx || my !== this._my) {
+      this._mx = mx;
+      this._my = my;
+      this._rafID && cancelAnimationFrame(this._rafID);
+      this._rafID = requestAnimationFrame(this._updateGridSize);
+    }
+  };
+
+  _updateGridSize = (): void => {
+    this._rafID = 0;
+    const mx = this._mx;
+    const my = this._my;
+    const x = mx - this._ex;
+    const y = my - this._ey;
+    const rr = clamp(1, Math.ceil(y / (CELL_SIZE + GUTTER_SIZE)), MAX_SIZE);
+    const cc = clamp(1, Math.ceil(x / (CELL_SIZE + GUTTER_SIZE)), MAX_SIZE);
+    const { rows, cols } = this.state;
+    if (rows !== rr || cols !== cc) {
+      this.setState({ rows: rr, cols: cc });
+    }
+  };
+
+  _onMouseDown = (e: SyntheticEvent<>): void => {
+    e.preventDefault();
+    this.props.close(this.state);
+  };
+}
+
+export default TableGridSizeEditor;

package/dist/ui/TableNodeView.js.flow

@@ -1,22 +1,22 @@
-import { Node } from 'prosemirror-model';
-import { EditorView } from 'prosemirror-view';
-import { TableView } from 'prosemirror-tables';
-
-// A custom table view that renders the margin-left style.
-export default class TableNodeView extends TableView {
-  constructor(node: Node, colMinWidth: number, view: EditorView) {
-    super(node, colMinWidth, view);
-    this._updateMargin(node);
-  }
-  update(node: Node): boolean {
-    const updated = super.update(node);
-    if (updated) {
-      this._updateMargin(node);
-    }
-    return updated;
-  }
-  _updateMargin(node: Node): void {
-    const marginLeft = (node.attrs && node.attrs.marginLeft) || 0;
-    this.table.style.marginLeft = marginLeft ? `${marginLeft}px` : '';
-  }
-}
+import { Node } from 'prosemirror-model';
+import { EditorView } from 'prosemirror-view';
+import { TableView } from 'prosemirror-tables';
+
+// A custom table view that renders the margin-left style.
+export default class TableNodeView extends TableView {
+  constructor(node: Node, colMinWidth: number, view: EditorView) {
+    super(node, colMinWidth, view);
+    this._updateMargin(node);
+  }
+  update(node: Node): boolean {
+    const updated = super.update(node);
+    if (updated) {
+      this._updateMargin(node);
+    }
+    return updated;
+  }
+  _updateMargin(node: Node): void {
+    const marginLeft = (node.attrs && node.attrs.marginLeft) || 0;
+    this.table.style.marginLeft = marginLeft ? `${marginLeft}px` : '';
+  }
+}

package/dist/ui/TooltipSurface.js.flow

@@ -1,76 +1,76 @@
-// @flow
-
-import './czi-tooltip-surface.css';
-import './czi-animations.css';
-
-import * as React from 'react';
-import createPopUp from './createPopUp';
-import { atAnchorBottomCenter } from './PopUpPosition';
-import uuid from './uuid';
-
-class TooltipView extends React.PureComponent<any, any> {
-  render(): React.Element<any> {
-    const { tooltip } = this.props;
-    return (
-      <div className="czi-tooltip-view czi-animation-fade-in">{tooltip}</div>
-    );
-  }
-}
-
-class TooltipSurface extends React.PureComponent<any, any> {
-  _id = uuid();
-  _popUp = null;
-
-  props: {
-    tooltip: string,
-    children?: any,
-  };
-
-  componentWillUnmount(): void {
-    this._popUp && this._popUp.close();
-  }
-
-  render(): React.Element<any> {
-    const { tooltip, children } = this.props;
-    return (
-      <span
-        aria-label={tooltip}
-        className="czi-tooltip-surface"
-        data-tooltip={tooltip}
-        id={this._id}
-        onMouseDown={tooltip && this._onMouseLeave}
-        onMouseEnter={tooltip && this._onMouseEnter}
-        onMouseLeave={tooltip && this._onMouseLeave}
-        role="tooltip"
-      >
-        {children}
-      </span>
-    );
-  }
-
-  _onMouseEnter = (): void => {
-    if (!this._popUp) {
-      const { tooltip } = this.props;
-      this._popUp = createPopUp(
-        TooltipView,
-        { tooltip },
-        {
-          anchor: document.getElementById(this._id),
-          onClose: this._onClose,
-          position: atAnchorBottomCenter,
-        }
-      );
-    }
-  };
-
-  _onMouseLeave = (): void => {
-    this._popUp && this._popUp.close();
-    this._popUp = null;
-  };
-
-  _onClose = (): void => {
-    this._popUp = null;
-  };
-}
-
-export default TooltipSurface;
+// @flow
+
+import './czi-tooltip-surface.css';
+import './czi-animations.css';
+
+import * as React from 'react';
+import createPopUp from './createPopUp';
+import { atAnchorBottomCenter } from './PopUpPosition';
+import uuid from './uuid';
+
+class TooltipView extends React.PureComponent<any, any> {
+  render(): React.Element<any> {
+    const { tooltip } = this.props;
+    return (
+      <div className="czi-tooltip-view czi-animation-fade-in">{tooltip}</div>
+    );
+  }
+}
+
+class TooltipSurface extends React.PureComponent<any, any> {
+  _id = uuid();
+  _popUp = null;
+
+  props: {
+    tooltip: string,
+    children?: any,
+  };
+
+  componentWillUnmount(): void {
+    this._popUp && this._popUp.close();
+  }
+
+  render(): React.Element<any> {
+    const { tooltip, children } = this.props;
+    return (
+      <span
+        aria-label={tooltip}
+        className="czi-tooltip-surface"
+        data-tooltip={tooltip}
+        id={this._id}
+        onMouseDown={tooltip && this._onMouseLeave}
+        onMouseEnter={tooltip && this._onMouseEnter}
+        onMouseLeave={tooltip && this._onMouseLeave}
+        role="tooltip"
+      >
+        {children}
+      </span>
+    );
+  }
+
+  _onMouseEnter = (): void => {
+    if (!this._popUp) {
+      const { tooltip } = this.props;
+      this._popUp = createPopUp(
+        TooltipView,
+        { tooltip },
+        {
+          anchor: document.getElementById(this._id),
+          onClose: this._onClose,
+          position: atAnchorBottomCenter,
+        }
+      );
+    }
+  };
+
+  _onMouseLeave = (): void => {
+    this._popUp && this._popUp.close();
+    this._popUp = null;
+  };
+
+  _onClose = (): void => {
+    this._popUp = null;
+  };
+}
+
+export default TooltipSurface;

package/dist/ui/bindScrollHandler.js.flow

@@ -1,46 +1,46 @@
-// @flow
-
-type ScrollHandle = {
-  dispose: () => void,
-};
-
-export default function bindScrollHandler(
-  target: Element,
-  callback: Function
-): ScrollHandle {
-  const defaultView = target.ownerDocument.defaultView;
-  const els = [];
-
-  let rid = 0;
-
-  let onScroll = () => {
-    // Debounce the scroll handler.
-    rid && cancelAnimationFrame(rid);
-    rid = requestAnimationFrame(callback);
-  };
-
-  let el: any = target;
-
-  // Scroll event does not bubble, so we need to look up all the scrollable
-  // elements.
-  while (el) {
-    const overflow = defaultView.getComputedStyle(el).overflow;
-    if ((onScroll && overflow === 'auto') || overflow === 'scroll') {
-      el.addEventListener('scroll', onScroll, false);
-      els.push(el);
-    }
-    el = el.parentElement;
-  }
-
-  return {
-    dispose() {
-      while (onScroll && els.length) {
-        el = els.pop();
-        el && el.removeEventListener('scroll', onScroll, false);
-      }
-      onScroll = null;
-      rid && window.cancelAnimationFrame(rid);
-      rid = 0;
-    },
-  };
-}
+// @flow
+
+type ScrollHandle = {
+  dispose: () => void,
+};
+
+export default function bindScrollHandler(
+  target: Element,
+  callback: Function
+): ScrollHandle {
+  const defaultView = target.ownerDocument.defaultView;
+  const els = [];
+
+  let rid = 0;
+
+  let onScroll = () => {
+    // Debounce the scroll handler.
+    rid && cancelAnimationFrame(rid);
+    rid = requestAnimationFrame(callback);
+  };
+
+  let el: any = target;
+
+  // Scroll event does not bubble, so we need to look up all the scrollable
+  // elements.
+  while (el) {
+    const overflow = defaultView.getComputedStyle(el).overflow;
+    if ((onScroll && overflow === 'auto') || overflow === 'scroll') {
+      el.addEventListener('scroll', onScroll, false);
+      els.push(el);
+    }
+    el = el.parentElement;
+  }
+
+  return {
+    dispose() {
+      while (onScroll && els.length) {
+        el = els.pop();
+        el && el.removeEventListener('scroll', onScroll, false);
+      }
+      onScroll = null;
+      rid && window.cancelAnimationFrame(rid);
+      rid = 0;
+    },
+  };
+}