Index: runtime/observatory/lib/src/elements/script_inset.dart |
diff --git a/runtime/observatory/lib/src/elements/script_inset.dart b/runtime/observatory/lib/src/elements/script_inset.dart |
index 5776bc4e26f09725aaebdc4d390468b38fccdf29..d4f2899e33807c16f490094bfa6071f93cb00c97 100644 |
--- a/runtime/observatory/lib/src/elements/script_inset.dart |
+++ b/runtime/observatory/lib/src/elements/script_inset.dart |
@@ -8,7 +8,6 @@ import 'dart:async'; |
import 'dart:html'; |
import 'dart:math'; |
import 'observatory_element.dart'; |
-import 'nav_bar.dart'; |
import 'service_ref.dart'; |
import 'package:observatory/service.dart'; |
import 'package:observatory/utils.dart'; |
@@ -984,7 +983,8 @@ class ScriptInsetElement extends ObservatoryElement { |
return 5; |
} |
const padding = 5; |
- const navbarHeight = NavBarElement.height; |
+ // TODO (cbernaschina) check if this is needed. |
+ const navbarHeight = 40; |
var rect = getBoundingClientRect(); |
var buttonHeight = element.clientHeight; |
return min(max(0, navbarHeight - rect.top) + padding, |