private void maybeNavigateToDocument(PathUtil documentPath, int lineNumber) {
if (documentPath.equals(this.path)) {
editor.getFocusManager().focus();
editor.scrollTo(lineNumber, 0);
} else {
currentPlace.fireChildPlaceNavigation(
FileSelectedPlace.PLACE.createNavigationEvent(documentPath, lineNumber));
}
}
public static DebuggingModelController create(
Place currentPlace,
AppContext appContext,
DebuggingModel debuggingModel,
Editor editor,
EditorPopupController editorPopupController,
DocumentManager documentManager) {
DebuggingModelController dmc =
new DebuggingModelController(
currentPlace,
appContext,
debuggingModel,
editor,
editorPopupController,
documentManager);
dmc.populateDebuggingSidebar();
// Register the DebuggingModelController as a handler for clicks on the
// Header's run button.
currentPlace.registerSimpleEventHandler(RunApplicationEvent.TYPE, dmc.runApplicationHandler);
return dmc;
}
private void showSidebar() {
sidebarDiscovered = true;
currentPlace.fireEvent(new RightSidebarExpansionEvent(true));
}
