diff --git a/docs/pr-media/1842/after-hover-no-workspace.png b/docs/pr-media/1842/after-hover-no-workspace.png new file mode 100644 index 00000000..4b87e558 Binary files /dev/null and b/docs/pr-media/1842/after-hover-no-workspace.png differ diff --git a/docs/pr-media/1842/before-hover-no-workspace.png b/docs/pr-media/1842/before-hover-no-workspace.png new file mode 100644 index 00000000..18e83e27 Binary files /dev/null and b/docs/pr-media/1842/before-hover-no-workspace.png differ diff --git a/static/index.html b/static/index.html index 0b6ced4b..c1f8670f 100644 --- a/static/index.html +++ b/static/index.html @@ -1118,7 +1118,7 @@