@jupyter/collaboration 2.0.4 → 2.0.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/cursors.js +3 -2
- package/package.json +2 -2
package/lib/cursors.js
CHANGED
|
@@ -130,7 +130,7 @@ const userHover = hoverTooltip((view, pos) => {
|
|
|
130
130
|
continue;
|
|
131
131
|
}
|
|
132
132
|
// Use some margin around the cursor to display the user.
|
|
133
|
-
if (head.index -
|
|
133
|
+
if (head.index - 3 <= pos && pos <= head.index + 3) {
|
|
134
134
|
return {
|
|
135
135
|
pos: head.index,
|
|
136
136
|
above: true,
|
|
@@ -149,7 +149,8 @@ const userHover = hoverTooltip((view, pos) => {
|
|
|
149
149
|
}
|
|
150
150
|
return null;
|
|
151
151
|
}, {
|
|
152
|
-
hideOn: (tr, tooltip) => !!tr.annotation(remoteSelectionsAnnotation)
|
|
152
|
+
hideOn: (tr, tooltip) => !!tr.annotation(remoteSelectionsAnnotation),
|
|
153
|
+
hoverTime: 0
|
|
153
154
|
});
|
|
154
155
|
/**
|
|
155
156
|
* Extension defining a new editor layer storing the remote selections
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@jupyter/collaboration",
|
|
3
|
-
"version": "2.0.
|
|
3
|
+
"version": "2.0.6",
|
|
4
4
|
"description": "JupyterLab - Real-Time Collaboration Widgets",
|
|
5
5
|
"homepage": "https://github.com/jupyterlab/jupyter-collaboration",
|
|
6
6
|
"bugs": {
|
|
@@ -41,7 +41,7 @@
|
|
|
41
41
|
"dependencies": {
|
|
42
42
|
"@codemirror/state": "^6.2.0",
|
|
43
43
|
"@codemirror/view": "^6.7.0",
|
|
44
|
-
"@jupyter/docprovider": "^2.0.
|
|
44
|
+
"@jupyter/docprovider": "^2.0.6",
|
|
45
45
|
"@jupyterlab/apputils": "^4.0.5",
|
|
46
46
|
"@jupyterlab/coreutils": "^6.0.5",
|
|
47
47
|
"@jupyterlab/services": "^7.0.5",
|