diff options
author | Michael Rennie | 2007-06-21 15:03:56 +0000 |
---|---|---|
committer | Michael Rennie | 2007-06-21 15:03:56 +0000 |
commit | c86c57073279c9d03755a73b71ec4ce20262ea7f (patch) | |
tree | 1f7cee25a9bebc9c05a6e4200f71750bbf41db4e | |
parent | 98810203e384eebc7fe622a9a147862625d62bed (diff) | |
download | eclipse.platform.debug-c86c57073279c9d03755a73b71ec4ce20262ea7f.tar.gz eclipse.platform.debug-c86c57073279c9d03755a73b71ec4ce20262ea7f.tar.xz eclipse.platform.debug-c86c57073279c9d03755a73b71ec4ce20262ea7f.zip |
Bug 193432
Clicking link in Ant console should ensure resulting editor is visible
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/ui/console/FileLink.java | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/console/FileLink.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/console/FileLink.java index 97b20d534..c81124cc6 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/console/FileLink.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/console/FileLink.java @@ -25,7 +25,6 @@ import org.eclipse.ui.IEditorPart; import org.eclipse.ui.IEditorRegistry; import org.eclipse.ui.IWorkbench; import org.eclipse.ui.IWorkbenchPage; -import org.eclipse.ui.IWorkbenchPartReference; import org.eclipse.ui.IWorkbenchWindow; import org.eclipse.ui.PartInitException; import org.eclipse.ui.part.FileEditorInput; @@ -79,13 +78,7 @@ public class FileLink implements IConsoleHyperlink { IWorkbenchPage page = window.getActivePage(); if (page != null) { try { - if(page.isPageZoomed()) { - IWorkbenchPartReference ref = page.getActivePartReference(); - if(ref != null) { - page.toggleZoom(ref); - } - } - IEditorPart editorPart = page.openEditor(new FileEditorInput(fFile), getEditorId() , false); + IEditorPart editorPart = page.openEditor(new FileEditorInput(fFile), getEditorId() , true); if (fFileLineNumber > 0) { ITextEditor textEditor = null; if (editorPart instanceof ITextEditor) { |