Go to file
Alec LaLonde d13b0ec4d5
Merge pull request #21 from CGNonofr/show-tooltip-on-hover
Show tooltip on cursor hover
2022-09-19 20:40:23 -06:00
docs Initial commit. 2019-03-03 22:18:50 -06:00
example Updated the example to leverage the new hover label. 2020-01-08 08:43:30 -06:00
src Merge branch 'master' into show-tooltip-on-hover 2022-09-19 20:40:14 -06:00
.babelrc Initial commit. 2019-03-03 22:18:50 -06:00
.gitignore Initial commit. 2019-03-03 22:18:50 -06:00
.travis.yml Initial commit. 2019-03-03 22:18:50 -06:00
CHANGELOG.md Updated for 0.3.1 2020-11-08 16:24:21 -06:00
copyright-header.txt Initial commit. 2019-03-03 22:18:50 -06:00
gulpfile.babel.js fixed a few typos, and updated the LICENSE file. 2019-11-29 17:25:59 -08:00
LICENSE Updated copyright on the code and the LICENSE. 2019-11-29 17:36:41 -08:00
package-lock.json Updated dependencies and version. 2021-04-08 11:06:51 -05:00
package.json Updated dependencies and version. 2021-04-08 11:06:51 -05:00
README.md Update README.md 2020-01-04 07:48:19 -06:00
tsconfig.json Initial commit. 2019-03-03 22:18:50 -06:00
tslint.json Initial commit. 2019-03-03 22:18:50 -06:00
webpack.config.js removed unneeded extensions from the webpack build. 2019-03-03 23:12:47 -06:00

Monaco Collaborative Extensions

Build Status

Enhances the Monaco Editor by adding the ability to render cues about what remote users are doing in the system.

demo graphic

Installation

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

npm install --save-dev @convergencelabs/monaco-collab-ext

Demo

Go here 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 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 {lineNumber: 0, column: 10}.

const editor = monaco.editor.create(document.getElementById("editor"), {
  value: "function helloWorld = () => { console.log('hello world!')",
  theme: "vs-dark'",
  language: 'javascript'
});

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

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

// Set the position of the cursor.
cursor.setOffset(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.

const editor = monaco.editor.create(document.getElementById("editor"), {
  value: "function helloWorld = () => { console.log('hello world!')",
  theme: "vs-dark'",
  language: 'javascript'
});

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

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

// Set the range of the selection using zero-based offsets.
selection.setOffsets(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.

const editor = monaco.editor.create(document.getElementById("editor"), {
  value: "function helloWorld = () => { console.log('hello world!')",
  theme: "vs-dark'",
  language: 'javascript'
});

const contentManager = new MonacoCollabExt.EditorContentManager({
  editor: editor,
  onInsert(index, text) {
    console.log("Insert", index, text);
  },
  onReplace(index, length, text) {
    console.log("Replace", index, length, text);
  },
  onDelete(index, length) {
    console.log("Delete", index, length);
  }
});

// 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();