Ace Collaborative Extensions
Enhances the Ace Editor by adding the ability to render cues about what remote users are doing in the system.
Installation
Install package with NPM and add it to your development dependencies:
npm install --save-dev @convergence/ace-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
Multi Cursor Manager
The multi cursor manager 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
{row: 0, column: 10}
.
const editor = ace.edit("editor");
const curMgr = new AceCollabExt.AceMultiCursorManager(editor.getSession());
curMgr.addCursor("uid1", "User 1", "orange", {row: 0, column: 10});
curMgr.setCursor("uid1", 10);
curMgr.clearCursor("uid1");
curMgr.removeCursor("uid1");
Multi Selection Manager
The multi selection manager allows you to easily render the selection of other
users working in the same document. Selection is represented by an array of
AceRanges. A single range is common for normal selection, but multiple ranges
are needed to support block selection.
const AceRange = ace.require("ace/range");
const editor = ace.edit("editor");
const selMgr = new AceCollabExt.AceMultiSelectionManager(editor.getSession());
const initialRanges = [
new AceRange(0, 0, 0, 10),
new AceRange(1, 0, 1, 10),
];
selMgr.addSelection("uid1", "User 1", "orange", initialRanges);
selMgr.setSelection("uid1", new AceRange(10, 0, 11, 10));
selMgr.clearSelection("uid1");
selMgr.removeSelection("uid1");
Radar View
A radar view indicates where in a document another user is looking and allows
you to easily go to the location in the document.
const editor = ace.edit("editor");
const radarView = new AceCollabExt.RadarView("radarView", editor);
radarView.addView("uid1", "user1", "orange", 0, 20, 0);
radarView.setViewRows("uid1", 10, 40);
radarView.setCursorRow("uid1", 10);
radarView.removeView("uid1");