| 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']) ||
|
|
|