| 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 c0f9dc68305f8924608306b360c96e61ce05ba5f..ad27465f3780364fe34d485abdedb98c45c747f3 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| @@ -303,7 +303,8 @@
|
|
|
| <template if="{{ (isString(ref.serviceType) ||
|
| isBool(ref.serviceType) ||
|
| - isInt(ref.serviceType)) }}">
|
| + isInt(ref.serviceType)) ||
|
| + isDouble(ref.serviceType)) }}">
|
| <a href="{{ url }}">{{ ref['preview'] }}</a>
|
| </template>
|
|
|
|
|