diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java index 7c1e59617..8daa66ade 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java @@ -96,6 +96,7 @@ import org.eclipse.ui.IWorkbenchPart; import org.eclipse.ui.IWorkbenchWindow; import org.eclipse.ui.PartInitException; import org.eclipse.ui.dialogs.PropertyDialogAction; +import org.eclipse.ui.ide.IDE; import org.eclipse.ui.part.IShowInSource; import org.eclipse.ui.part.IShowInTarget; import org.eclipse.ui.part.IShowInTargetList; @@ -700,7 +701,7 @@ public class LaunchView extends AbstractDebugEventHandlerView implements ISelect } else { IMarker marker= getInstructionPointer(lineNumber, charStart, charEnd); if (marker != null) { - editor.gotoMarker(marker); + IDE.gotoMarker(editor, marker); } } } @@ -767,7 +768,7 @@ public class LaunchView extends AbstractDebugEventHandlerView implements ISelect lineNumber++; IMarker marker= getInstructionPointer(lineNumber, charStart, charEnd); if (marker != null) { - editor.gotoMarker(marker); + IDE.gotoMarker(editor, marker); // add decoration Decoration decoration = new MarkerTextSelection(editor, lineNumber, thread); DecorationManager.addDecoration(decoration); |