Index: runtime/bin/vmservice/client/deployed/web/index_devtools.html |
diff --git a/runtime/bin/vmservice/client/deployed/web/index_devtools.html b/runtime/bin/vmservice/client/deployed/web/index_devtools.html |
index 724f7db60ad2307c1f1f808df001f4de95ed4b04..45ad494d4d46e8bfa08ce917f3d61948c71c99fa 100644 |
--- a/runtime/bin/vmservice/client/deployed/web/index_devtools.html |
+++ b/runtime/bin/vmservice/client/deployed/web/index_devtools.html |
@@ -320,7 +320,7 @@ |
</template> |
<template if="{{ isNullRef(ref['type']) }}"> |
- {{ name }} |
+ <div title="{{ hoverText }}">{{ name }}</div> |
</template> |
<template if="{{ (isStringRef(ref['type']) || |