KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#developer-tools #dsh #dsh-plugin #ai-agent #claude-code #codex #typescript #ai-agents #mcp #cli #rust #deepseek-harness

codemirror-collab-ext

★ 16 Open GitHub ↗

Collaborative Extensions for CodeMirror

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

## CodeMirror Collaborative Extensions
[![Build Status](https://travis-ci.org/convergencelabs/codemirror-collab-ext.svg?branch=master)](https://travis-ci.org/convergencelabs/codemirror-collab-ext)

Enhances the [CodeMirror Editor](https://codemirror.net/) by adding the ability to render cues about what remote users are doing in the system.

![demo graphic](https://raw.githubusercontent.com/convergencelabs/codemirror-collab-ext/master/docs/demo.gif "Shared Cursors and Selections")

## Installation

Install package with NPM and add it to your development dependencies:

```npm install --save-dev @convergencelabs/codemirror-collab-ext```

## Demo
Go [here](https://examples.convergence.io/codemirror/index.html) to see a live demo of multiple cursors, multiple selections, and remote scrollbars (Visit on multiple browsers, or even better, point a friend to it too).  This uses [Convergence](https://convergence.io) to handle the synchronization of data and user actions.

## Usage

### RemoteCursorManager
The RemoteCursorManager allows you to easily render the cursors of other users
working in the same document.  The cursor position can be represented as either
a single linear index or as a 2-dimensional position in the form of
```{line: 0, ch: 10}```.

```JavaScript
const editor = new CodeMirror(document.getElementById("editor"), {
  mode: "javascript",
  lineNumbers: true,
  value: editorContents
});

const remoteCursorManager = new CodeMirrorCollabExt.RemoteCursorManager({
  editor: editor,
  tooltips: true,
  tooltipDuration: 2
});

const cursor = remoteCursorManager.addCursor("jDoe", "blue", "John Doe");

// Set the position of the cursor.
cursor.setIndex(4);

// Hide the cursor
cursor.hide();

// Show the cursor
cursor.show();

// Remove the cursor.
cursor.dispose();
```

### RemoteSelectionManager
The RemoteSelectionManager allows you to easily render the selection of other
users working in the same document.

```JavaScript
const editor = new CodeMirror(document.getElementById("editor"), {
  mode: "javascript",
  lineNumbers: true,
  value: editorContents
});

const remoteSelectionManager = new CodeMirrorCollabExt.RemoteSelectionManager({editor: editor});

const selection = remoteSelectionManager.addSelection("jDoe", "blue");

// Set the range of the selection using zero-based offsets.
selection.setIndices(45, 55);

// Hide the selection
selection.hide();

// Show the selection
selection.show();

// Remove the selection.
selection.dispose();
```

### EditorContentManager 
The EditorContentManager simplifies dealing with local and remote changes
to the editor.

```JavaScript
const editor = new CodeMirror(document.getElementById("editor"), {
  mode: "javascript",
  lineNumbers: true,
  value: editorContents
});

// Insert text into the editor at offset 5.
contentManager.insert(5, "some text");

// Replace the text in the editor at range 5 - 10.
contentManager.replace(5, 10, "some text");

// Delete the text in the editor at range 5 - 10.
contentManager.delete(5, 10);

// Release resources when done
contentManager.dispose();
```

codemirror-collab-ext

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README