|
|
|
@ -42,6 +42,7 @@ import {
|
|
|
|
|
getDocument,
|
|
|
|
|
peerExtension,
|
|
|
|
|
} from '../../services/connection.service';
|
|
|
|
|
import { environment } from '../../../environments/environment';
|
|
|
|
|
|
|
|
|
|
const basicSetup: Extension = (() => [
|
|
|
|
|
highlightActiveLineGutter(),
|
|
|
|
@ -94,6 +95,7 @@ export class EditorComponent {
|
|
|
|
|
get selectedLanguage(): LanguageDescription {
|
|
|
|
|
return this._selectedLanguage;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set selectedLanguage(value: LanguageDescription) {
|
|
|
|
|
this._selectedLanguage = value;
|
|
|
|
|
if (value.name in CODE_DEFAULTS) {
|
|
|
|
@ -106,10 +108,12 @@ export class EditorComponent {
|
|
|
|
|
});
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private _linesNumbers: boolean = true;
|
|
|
|
|
get linesNumbers() {
|
|
|
|
|
return this._linesNumbers;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set linesNumbers(lines: boolean) {
|
|
|
|
|
this._linesNumbers = lines;
|
|
|
|
|
this.codemirror.editor?.dispatch({
|
|
|
|
@ -138,13 +142,14 @@ export class EditorComponent {
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
private client: WebSocket | undefined;
|
|
|
|
|
|
|
|
|
|
@Input()
|
|
|
|
|
set idRoom(idRoom: string) {
|
|
|
|
|
if (idRoom === undefined) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this.client = new WebSocket(`ws://127.0.0.1:3000/live/${idRoom}`);
|
|
|
|
|
this.client = new WebSocket(`${environment.webSocketUrl}/live/${idRoom}`);
|
|
|
|
|
this.client.addEventListener('open', async () => {
|
|
|
|
|
let conn = new Connection(this.client!);
|
|
|
|
|
let { version, doc } = await getDocument(conn);
|
|
|
|
|