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
- highlights can now be auto-removed from the cells/editors on blur (set `removeOnBlur` to `true` in settings) ([#446])
4
8
5
9
- bug fixes
6
10
- improved performance of completion and highlights by minimising the number of highlight requests and GUI redraws (token checking, debouncing, acting on a single response only) ([#433])
Copy file name to clipboardExpand all lines: packages/jupyterlab-lsp/schema/highlights.json
+6Lines changed: 6 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -10,6 +10,12 @@
10
10
"type": "number",
11
11
"default": 250,
12
12
"description": "Number of milliseconds to delay sending out the highlights request to the language server; you can get better responsiveness adjusting this value, but setting it to zero can actually slow it down as the server might get overwhelmed when moving the cursor."
13
+
},
14
+
"removeOnBlur": {
15
+
"title": "Remove highlights on editor (e.g. cell) blur",
16
+
"type": "boolean",
17
+
"default": false,
18
+
"description": "Whether the highlights should disappear after the focus leaves the editor/cell"
0 commit comments