2021-01-30 07:33:04 +08:00
|
|
|
import monaco from "./live_editor/monaco";
|
|
|
|
import EditorClient from "./live_editor/editor_client";
|
|
|
|
import MonacoEditorAdapter from "./live_editor/monaco_editor_adapter";
|
|
|
|
import HookServerAdapter from "./live_editor/hook_server_adapter";
|
2021-05-07 22:41:37 +08:00
|
|
|
import RemoteUser from "./live_editor/remote_user";
|
2021-01-30 07:33:04 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Mounts cell source editor with real-time collaboration mechanism.
|
|
|
|
*/
|
|
|
|
class LiveEditor {
|
|
|
|
constructor(hook, container, cellId, type, source, revision) {
|
2021-04-21 01:34:17 +08:00
|
|
|
this.hook = hook;
|
2021-01-30 07:33:04 +08:00
|
|
|
this.container = container;
|
|
|
|
this.cellId = cellId;
|
|
|
|
this.type = type;
|
|
|
|
this.source = source;
|
|
|
|
this._onChange = null;
|
2021-03-02 01:48:19 +08:00
|
|
|
this._onBlur = null;
|
2021-05-07 22:41:37 +08:00
|
|
|
this._onCursorSelectionChange = null;
|
|
|
|
this._remoteUserByClientPid = {};
|
2021-01-30 07:33:04 +08:00
|
|
|
|
|
|
|
this.__mountEditor();
|
|
|
|
|
2021-04-21 01:34:17 +08:00
|
|
|
if (type === "elixir") {
|
|
|
|
this.__setupCompletion();
|
|
|
|
}
|
|
|
|
|
2021-01-30 07:33:04 +08:00
|
|
|
const serverAdapter = new HookServerAdapter(hook, cellId);
|
|
|
|
const editorAdapter = new MonacoEditorAdapter(this.editor);
|
|
|
|
this.editorClient = new EditorClient(
|
|
|
|
serverAdapter,
|
|
|
|
editorAdapter,
|
|
|
|
revision
|
|
|
|
);
|
|
|
|
|
|
|
|
this.editorClient.onDelta((delta) => {
|
|
|
|
this.source = delta.applyToString(this.source);
|
|
|
|
this._onChange && this._onChange(this.source);
|
|
|
|
});
|
2021-03-02 01:48:19 +08:00
|
|
|
|
|
|
|
this.editor.onDidBlurEditorWidget(() => {
|
|
|
|
this._onBlur && this._onBlur();
|
|
|
|
});
|
2021-05-07 22:41:37 +08:00
|
|
|
|
|
|
|
this.editor.onDidChangeCursorSelection((event) => {
|
|
|
|
this._onCursorSelectionChange &&
|
|
|
|
this._onCursorSelectionChange(event.selection);
|
|
|
|
});
|
2021-01-30 07:33:04 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Registers a callback called with a new cell content whenever it changes.
|
|
|
|
*/
|
|
|
|
onChange(callback) {
|
|
|
|
this._onChange = callback;
|
|
|
|
}
|
|
|
|
|
2021-05-07 22:41:37 +08:00
|
|
|
/**
|
|
|
|
* Registers a callback called with a new cursor selection whenever it changes.
|
|
|
|
*/
|
|
|
|
onCursorSelectionChange(callback) {
|
|
|
|
this._onCursorSelectionChange = callback;
|
|
|
|
}
|
|
|
|
|
2021-03-02 01:48:19 +08:00
|
|
|
/**
|
|
|
|
* Registers a callback called whenever the editor loses focus.
|
|
|
|
*/
|
|
|
|
onBlur(callback) {
|
|
|
|
this._onBlur = callback;
|
|
|
|
}
|
|
|
|
|
2021-01-30 07:33:04 +08:00
|
|
|
focus() {
|
|
|
|
this.editor.focus();
|
|
|
|
}
|
|
|
|
|
|
|
|
blur() {
|
|
|
|
if (this.editor.hasTextFocus()) {
|
|
|
|
document.activeElement.blur();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-04-05 00:55:51 +08:00
|
|
|
insert(text) {
|
|
|
|
const range = this.editor.getSelection();
|
|
|
|
this.editor
|
|
|
|
.getModel()
|
|
|
|
.pushEditOperations([], [{ forceMoveMarkers: true, range, text }]);
|
|
|
|
}
|
|
|
|
|
2021-04-21 23:38:48 +08:00
|
|
|
/**
|
|
|
|
* Performs necessary cleanup actions.
|
|
|
|
*/
|
2021-05-07 22:41:37 +08:00
|
|
|
dispose() {
|
2021-04-21 23:38:48 +08:00
|
|
|
// Explicitly destroy the editor instance and its text model.
|
|
|
|
this.editor.dispose();
|
|
|
|
|
|
|
|
const model = this.editor.getModel();
|
|
|
|
|
|
|
|
if (model) {
|
|
|
|
model.dispose();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-05-07 22:41:37 +08:00
|
|
|
/**
|
|
|
|
* Either adds or moves remote user cursor to the new position.
|
|
|
|
*/
|
|
|
|
updateUserSelection(client, selection) {
|
|
|
|
if (this._remoteUserByClientPid[client.pid]) {
|
|
|
|
this._remoteUserByClientPid[client.pid].update(selection);
|
|
|
|
} else {
|
|
|
|
this._remoteUserByClientPid[client.pid] = new RemoteUser(
|
|
|
|
this.editor,
|
|
|
|
selection,
|
|
|
|
client.hex_color,
|
|
|
|
client.name
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Removes remote user cursor.
|
|
|
|
*/
|
|
|
|
removeUserSelection(client) {
|
|
|
|
if (this._remoteUserByClientPid[client.pid]) {
|
|
|
|
this._remoteUserByClientPid[client.pid].dispose();
|
|
|
|
delete this._remoteUserByClientPid[client.pid];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-01-30 07:33:04 +08:00
|
|
|
__mountEditor() {
|
|
|
|
this.editor = monaco.editor.create(this.container, {
|
|
|
|
language: this.type,
|
|
|
|
value: this.source,
|
|
|
|
scrollbar: {
|
|
|
|
vertical: "hidden",
|
2021-04-12 19:04:54 +08:00
|
|
|
alwaysConsumeMouseWheel: false,
|
2021-01-30 07:33:04 +08:00
|
|
|
},
|
|
|
|
minimap: {
|
|
|
|
enabled: false,
|
|
|
|
},
|
|
|
|
overviewRulerLanes: 0,
|
|
|
|
scrollBeyondLastLine: false,
|
|
|
|
renderIndentGuides: false,
|
|
|
|
occurrencesHighlight: false,
|
|
|
|
renderLineHighlight: "none",
|
|
|
|
theme: "custom",
|
2021-05-04 21:48:26 +08:00
|
|
|
fontFamily: "JetBrains Mono, Droid Sans Mono, monospace",
|
2021-03-23 21:10:34 +08:00
|
|
|
tabIndex: -1,
|
2021-04-21 01:34:17 +08:00
|
|
|
quickSuggestions: false,
|
|
|
|
tabCompletion: "on",
|
|
|
|
suggestSelection: "first",
|
2021-01-30 07:33:04 +08:00
|
|
|
});
|
|
|
|
|
|
|
|
this.editor.getModel().updateOptions({
|
|
|
|
tabSize: 2,
|
|
|
|
});
|
|
|
|
|
|
|
|
this.editor.updateOptions({
|
|
|
|
autoIndent: true,
|
|
|
|
tabSize: 2,
|
|
|
|
formatOnType: true,
|
|
|
|
});
|
|
|
|
|
|
|
|
// Automatically adjust the editor size to fit the container.
|
|
|
|
const resizeObserver = new ResizeObserver((entries) => {
|
|
|
|
entries.forEach((entry) => {
|
|
|
|
// Ignore hidden container.
|
|
|
|
if (this.container.offsetHeight > 0) {
|
|
|
|
this.editor.layout();
|
|
|
|
}
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|
|
|
|
resizeObserver.observe(this.container);
|
|
|
|
|
|
|
|
// Whenever editor content size changes (new line is added/removed)
|
|
|
|
// update the container height. Thanks to the above observer
|
|
|
|
// the editor is resized to fill the container.
|
|
|
|
// Related: https://github.com/microsoft/monaco-editor/issues/794#issuecomment-688959283
|
|
|
|
this.editor.onDidContentSizeChange(() => {
|
|
|
|
const contentHeight = this.editor.getContentHeight();
|
|
|
|
this.container.style.height = `${contentHeight}px`;
|
|
|
|
});
|
|
|
|
}
|
2021-04-21 01:34:17 +08:00
|
|
|
|
|
|
|
__setupCompletion() {
|
|
|
|
/**
|
|
|
|
* Completion happens asynchronously, the flow goes as follows:
|
|
|
|
*
|
|
|
|
* * the user opens the completion list, which triggers the global
|
|
|
|
* completion provider registered in `live_editor/monaco.js`
|
|
|
|
*
|
|
|
|
* * the global provider delegates to the cell-specific `__getCompletionItems`
|
|
|
|
* defined below. That's a little bit hacky, but this way we make
|
|
|
|
* completion cell-specific
|
|
|
|
*
|
|
|
|
* * then `__getCompletionItems` sends a completion request to the LV process
|
|
|
|
* and gets a unique reference, under which it keeps completion callback
|
|
|
|
*
|
|
|
|
* * finally the hook receives the "completion_response" event with completion items,
|
|
|
|
* it looks up completion callback for the received reference and calls it
|
|
|
|
* with the received items list
|
|
|
|
*/
|
|
|
|
|
|
|
|
const completionHandlerByRef = {};
|
|
|
|
|
|
|
|
this.editor.getModel().__getCompletionItems = (model, position) => {
|
|
|
|
const line = model.getLineContent(position.lineNumber);
|
|
|
|
const lineUntilCursor = line.slice(0, position.column - 1);
|
|
|
|
|
|
|
|
return new Promise((resolve, reject) => {
|
|
|
|
this.hook.pushEvent(
|
|
|
|
"completion_request",
|
|
|
|
{
|
|
|
|
hint: lineUntilCursor,
|
|
|
|
cell_id: this.cellId,
|
|
|
|
},
|
|
|
|
({ completion_ref: completionRef }) => {
|
|
|
|
if (completionRef) {
|
|
|
|
completionHandlerByRef[completionRef] = (items) => {
|
|
|
|
const suggestions = completionItemsToSuggestions(items);
|
|
|
|
resolve({ suggestions });
|
|
|
|
};
|
|
|
|
} else {
|
|
|
|
resolve({ suggestions: [] });
|
|
|
|
}
|
|
|
|
}
|
|
|
|
);
|
|
|
|
});
|
|
|
|
};
|
|
|
|
|
|
|
|
this.hook.handleEvent(
|
|
|
|
"completion_response",
|
|
|
|
({ completion_ref: completionRef, items }) => {
|
|
|
|
const handler = completionHandlerByRef[completionRef];
|
|
|
|
|
|
|
|
if (handler) {
|
|
|
|
handler(items);
|
|
|
|
delete completionHandlerByRef[completionRef];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function completionItemsToSuggestions(items) {
|
|
|
|
return items.map(parseItem).map((suggestion, index) => ({
|
|
|
|
...suggestion,
|
|
|
|
sortText: numberToSortableString(index, items.length),
|
|
|
|
}));
|
|
|
|
}
|
|
|
|
|
|
|
|
// See `Livebook.Runtime` for completion item definition
|
|
|
|
function parseItem(item) {
|
|
|
|
return {
|
|
|
|
label: item.label,
|
|
|
|
kind: parseItemKind(item.kind),
|
|
|
|
detail: item.detail,
|
|
|
|
documentation: item.documentation && {
|
|
|
|
value: item.documentation,
|
|
|
|
isTrusted: true,
|
|
|
|
},
|
|
|
|
insertText: item.insert_text,
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
function parseItemKind(kind) {
|
|
|
|
switch (kind) {
|
|
|
|
case "function":
|
|
|
|
return monaco.languages.CompletionItemKind.Function;
|
|
|
|
case "module":
|
|
|
|
return monaco.languages.CompletionItemKind.Module;
|
|
|
|
case "type":
|
|
|
|
return monaco.languages.CompletionItemKind.Class;
|
|
|
|
case "variable":
|
|
|
|
return monaco.languages.CompletionItemKind.Variable;
|
|
|
|
case "field":
|
|
|
|
return monaco.languages.CompletionItemKind.Field;
|
|
|
|
default:
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function numberToSortableString(number, maxNumber) {
|
|
|
|
return String(number).padStart(maxNumber, "0");
|
2021-01-30 07:33:04 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
export default LiveEditor;
|