Index: runtime/observatory/lib/src/elements/debugger.dart |
diff --git a/runtime/observatory/lib/src/elements/debugger.dart b/runtime/observatory/lib/src/elements/debugger.dart |
index 61a8989d60b4dd1737a817f739e05a2b6f5fc4c5..0cabad378f4cd0bf490f43593798d790bfe9b534 100644 |
--- a/runtime/observatory/lib/src/elements/debugger.dart |
+++ b/runtime/observatory/lib/src/elements/debugger.dart |
@@ -8,8 +8,7 @@ import 'dart:async'; |
import 'dart:html'; |
import 'dart:math'; |
import 'observatory_element.dart'; |
-import 'nav_bar.dart'; |
-import 'package:observatory/app.dart'; |
+import 'package:observatory/repositories.dart'; |
import 'package:observatory/cli.dart'; |
import 'package:observatory/debugger.dart'; |
import 'package:observatory/service.dart'; |
@@ -1313,7 +1312,7 @@ class _ConsoleStreamPrinter { |
// Tracks the state for an isolate debugging session. |
class ObservatoryDebugger extends Debugger { |
- final SettingsGroup settings = new SettingsGroup('debugger'); |
+ final SettingsRepository settings = new SettingsRepository('debugger'); |
RootCommand cmd; |
DebuggerPageElement page; |
DebuggerConsoleElement console; |
@@ -2005,7 +2004,8 @@ class DebuggerPageElement extends ObservatoryElement { |
var cmdDiv = $['commandDiv']; |
// For now, force navbar height to 40px in the debugger. |
- int navbarHeight = NavBarElement.height; |
+ // TODO (cbernaschina) check if this is needed. |
+ int navbarHeight = 40; |
int splitterHeight = splitterDiv.clientHeight; |
int cmdHeight = cmdDiv.clientHeight; |
@@ -2255,7 +2255,8 @@ class DebuggerFrameElement extends ObservatoryElement { |
if (varsDiv == null) { |
return minTop; |
} |
- const navbarHeight = NavBarElement.height; |
+ // TODO (cbernaschina) check if this is needed. |
+ const navbarHeight = 40; |
const bottomPad = 6; |
var parent = varsDiv.parent.getBoundingClientRect(); |
var varsHeight = varsDiv.clientHeight; |