Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Rennie2007-06-21 15:03:56 +0000
committerMichael Rennie2007-06-21 15:03:56 +0000
commitc86c57073279c9d03755a73b71ec4ce20262ea7f (patch)
tree1f7cee25a9bebc9c05a6e4200f71750bbf41db4e
parent98810203e384eebc7fe622a9a147862625d62bed (diff)
downloadeclipse.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.java9
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) {

Back to the top