Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to change Code Mirror properties like line wrap, linenumbers #268

Closed
holyman2k opened this issue Feb 15, 2022 · 4 comments
Closed

How to change Code Mirror properties like line wrap, linenumbers #268

holyman2k opened this issue Feb 15, 2022 · 4 comments
Labels

Comments

@holyman2k
Copy link

holyman2k commented Feb 15, 2022

I recently come across this library, I want to know how to change Code Mirror properties like line wrap, linenumbers

@holyman2k holyman2k changed the title How to turn off line number? How to change Code Mirror properties like line wrap, linenumbers Feb 15, 2022
@jaywcjlove
Copy link
Member

@jaywcjlove
Copy link
Member

Line numbers extension: https://codesandbox.io/embed/uiw-react-codemirror-line-numbers-extension-5sphhu?fontsize=14&hidenavigation=1&theme=dark

import { EditorState } from "@codemirror/state";
import { EditorView } from "@codemirror/view";
import { gutter, GutterMarker } from "@codemirror/gutter";

// https://github.com/codemirror/gutter/blob/442b7b1202cbf21d9ca5815157805da911c0dd2d/src/index.ts#L394

class NumberMarker extends GutterMarker {
  constructor(number) {
    super();
    this.number = number;
  }

  eq(other) {
    return this.number === other.number;
  }

  toDOM(_view) {
    return document.createTextNode(this.number);
  }
}

const formatNumber = (view, linenumber) => {
  return String(linenumber);
};

function maxLineNumber(lines) {
  let last = 9;
  while (last < lines) last = last * 10 + 9;
  return last;
}

const lineNumbersExtension = gutter({
  class: "cm-lineNumbers",
  renderEmptyElements: false,
  // markers(view) {
  //   return view.state.facet(lineNumberMarkers)
  // },
  lineMarker(view, line, others) {
    if (others.some((m) => m.toDOM)) return null;
    return new NumberMarker(
      formatNumber(view, view.state.doc.lineAt(line.from).number)
    );
  },
  initialSpacer(view) {
    return new NumberMarker(
      formatNumber(view, maxLineNumber(view.state.doc.lines))
    );
  },
  updateSpacer(spacer, update) {
    let max = formatNumber(
      update.view,
      maxLineNumber(update.view.state.doc.lines)
    );
    return max === spacer.number ? spacer : new NumberMarker(max);
  },
  domEventHandlers: {
    click(view, line, event) {
      console.log(
        "line number click",
        line,
        view.state.doc.lineAt(line.from).number
      );
      return true;
    }
  }
});

new EditorView({
  state: EditorState.create({
    doc: "hello\nhello\nhello\n",
    extensions: [lineNumbersExtension]
  }),
  parent: document.getElementById("app")
});

@jaywcjlove
Copy link
Member

#316 (comment)

@holyman2k

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants