You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: packages/jupyterlab-lsp/schema/syntax_highlighting.json
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -9,7 +9,7 @@
9
9
"title": "Threshold of foreign code coverage for changing the mode in an editor",
10
10
"type": "number",
11
11
"default": 0.5,
12
-
"description": "If a code editor includes a code fragment in another language (for example a %%markdown magic in IPython) with appropriate foreign code extractor defined, and the extend of this code (coverage of the editor) passes the threshold, the syntax highlighting (i.e. the mode) will change to provide highlighting for the language of the foreign code."
12
+
"description": "If a code editor includes a code fragment in another language (for example a %%markdown magic in IPython) with appropriate foreign code extractor defined, and the extend of this code (coverage of the editor) passes the threshold, the syntax highlighting (i.e. the mode) will change to provide highlighting for the language of the foreign code."
Copy file name to clipboardExpand all lines: packages/jupyterlab-lsp/src/connection_manager.ts
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -306,7 +306,7 @@ export class DocumentConnectionManager {
306
306
);
307
307
}catch{
308
308
this.console.warn(
309
-
`LSP: Connection to ${virtual_document.uri} timed out after ${firstTimeoutSeconds} seconds, will continue retrying for another ${secondTimeoutMinutes} minutes`
309
+
`Connection to ${virtual_document.uri} timed out after ${firstTimeoutSeconds} seconds, will continue retrying for another ${secondTimeoutMinutes} minutes`
310
310
);
311
311
try{
312
312
awaituntil_ready(
@@ -316,7 +316,7 @@ export class DocumentConnectionManager {
316
316
);
317
317
}catch{
318
318
this.console.warn(
319
-
`LSP: Connection to ${virtual_document.uri} timed out again after ${secondTimeoutMinutes} minutes, giving up`
319
+
`Connection to ${virtual_document.uri} timed out again after ${secondTimeoutMinutes} minutes, giving up`
0 commit comments