|
|
@ -33,8 +33,7 @@ function Debugger (options) { |
|
|
|
this.debugger.setBreakpointManager(this.breakPointManager) |
|
|
|
this.debugger.setBreakpointManager(this.breakPointManager) |
|
|
|
|
|
|
|
|
|
|
|
this.executionContext.event.register('contextChanged', this, function (context) { |
|
|
|
this.executionContext.event.register('contextChanged', this, function (context) { |
|
|
|
// TODO: was already broken
|
|
|
|
self.debugger.switchProvider(context) |
|
|
|
// self.switchProvider(context)
|
|
|
|
|
|
|
|
}) |
|
|
|
}) |
|
|
|
|
|
|
|
|
|
|
|
this.debugger.event.register('newTraceLoaded', this, function () { |
|
|
|
this.debugger.event.register('newTraceLoaded', this, function () { |
|
|
|