@@ -15,8 +15,8 @@ import * as Y from "yjs";
15
15
import { yCollab } from "y-codemirror.next" ;
16
16
import { WebrtcProvider } from "y-webrtc" ;
17
17
import { EditorView , basicSetup } from "codemirror" ;
18
- import { keymap } from "@codemirror/view"
19
- import { indentWithTab } from "@codemirror/commands"
18
+ import { keymap } from "@codemirror/view" ;
19
+ import { indentWithTab } from "@codemirror/commands" ;
20
20
import { EditorState , Compartment } from "@codemirror/state" ;
21
21
import { javascript , javascriptLanguage } from "@codemirror/lang-javascript" ;
22
22
import { python , pythonLanguage } from "@codemirror/lang-python" ;
@@ -68,15 +68,15 @@ interface Awareness {
68
68
executionResultsState : {
69
69
executionResults : ExecutionResults ;
70
70
id : number ;
71
- }
71
+ } ;
72
72
executingState : {
73
73
executing : boolean ;
74
74
id : number ;
75
- }
75
+ } ;
76
76
submittingState : {
77
77
submitting : boolean ;
78
78
id : number ;
79
- }
79
+ } ;
80
80
}
81
81
82
82
export const usercolors = [
@@ -111,8 +111,7 @@ const CollaborativeEditor = forwardRef(
111
111
props . onCodeChange ( update . state . doc . toString ( ) ) ;
112
112
}
113
113
} ) ;
114
-
115
-
114
+
116
115
// Referenced: https://codemirror.net/examples/config/#dynamic-configuration
117
116
// const autoLanguage = EditorState.transactionExtender.of((tr) => {
118
117
// if (!tr.docChanged) return null;
@@ -196,10 +195,10 @@ const CollaborativeEditor = forwardRef(
196
195
} ) ;
197
196
} ;
198
197
199
- let latestExecutionId : number = ( new Date ( 0 ) ) . getTime ( ) ;
200
- let latestSubmissionId : number = ( new Date ( 0 ) ) . getTime ( ) ;
201
- let latestExecutingId : number = ( new Date ( 0 ) ) . getTime ( ) ;
202
- let latestSubmittingId : number = ( new Date ( 0 ) ) . getTime ( ) ;
198
+ let latestExecutionId : number = new Date ( 0 ) . getTime ( ) ;
199
+ let latestSubmissionId : number = new Date ( 0 ) . getTime ( ) ;
200
+ let latestExecutingId : number = new Date ( 0 ) . getTime ( ) ;
201
+ let latestSubmittingId : number = new Date ( 0 ) . getTime ( ) ;
203
202
204
203
useImperativeHandle ( ref , ( ) => ( {
205
204
endSession : ( ) => {
@@ -311,12 +310,14 @@ const CollaborativeEditor = forwardRef(
311
310
. get ( clientID ) as Awareness ;
312
311
313
312
if (
314
- state &&
313
+ state &&
315
314
state . submissionResultsState &&
316
315
state . submissionResultsState . id !== latestSubmissionId
317
316
) {
318
317
latestSubmissionId = state . submissionResultsState . id ;
319
- props . updateSubmissionResults ( state . submissionResultsState . submissionResults ) ;
318
+ props . updateSubmissionResults (
319
+ state . submissionResultsState . submissionResults
320
+ ) ;
320
321
messageApi . open ( {
321
322
type : "success" ,
322
323
content : `${
@@ -326,12 +327,14 @@ const CollaborativeEditor = forwardRef(
326
327
}
327
328
328
329
if (
329
- state &&
330
- state . executionResultsState &&
330
+ state &&
331
+ state . executionResultsState &&
331
332
state . executionResultsState . id !== latestExecutionId
332
333
) {
333
334
latestExecutionId = state . executionResultsState . id ;
334
- props . updateExecutionResults ( state . executionResultsState . executionResults ) ;
335
+ props . updateExecutionResults (
336
+ state . executionResultsState . executionResults
337
+ ) ;
335
338
messageApi . open ( {
336
339
type : "success" ,
337
340
content : `${
@@ -341,8 +344,8 @@ const CollaborativeEditor = forwardRef(
341
344
}
342
345
343
346
if (
344
- state &&
345
- state . executingState &&
347
+ state &&
348
+ state . executingState &&
346
349
state . executingState . id !== latestExecutingId
347
350
) {
348
351
latestExecutingId = state . executingState . id ;
@@ -358,18 +361,16 @@ const CollaborativeEditor = forwardRef(
358
361
}
359
362
360
363
if (
361
- state &&
362
- state . submittingState &&
364
+ state &&
365
+ state . submittingState &&
363
366
state . submittingState . id !== latestSubmittingId
364
367
) {
365
368
latestSubmittingId = state . submittingState . id ;
366
369
props . updateSubmitting ( state . submittingState . submitting ) ;
367
370
if ( state . submittingState . submitting ) {
368
371
messageApi . open ( {
369
372
type : "info" ,
370
- content : `${
371
- props . matchedUser ?? "Peer"
372
- } is saving code...`,
373
+ content : `${ props . matchedUser ?? "Peer" } is saving code...` ,
373
374
} ) ;
374
375
}
375
376
}
0 commit comments