From b08d8585ab77e736e07187e47716a106cfa8577d Mon Sep 17 00:00:00 2001 From: Alain Magloire Date: Thu, 4 Sep 2003 19:07:07 +0000 Subject: [PATCH] Faulty login when checking the BuildConsole preferences. --- .../org/eclipse/cdt/internal/ui/BuildConsoleManager.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/BuildConsoleManager.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/BuildConsoleManager.java index 7bdbc4adb2b..9dfa0ebafb0 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/BuildConsoleManager.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/BuildConsoleManager.java @@ -118,8 +118,7 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang public void flush() throws IOException { Display.getDefault().syncExec(new Runnable() { public void run() { - if (BuildConsolePreferencePage.isConsoleOnTop()) - bringConsoleOnTop(); + bringConsoleOnTop(); try { int len = fDocument.getLength(); fDocument.replace(len, 0, readBuffer()); @@ -145,7 +144,8 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang //restore focus page.activate(activePart); } - } else { + } + if (cBuild != null && BuildConsolePreferencePage.isConsoleOnTop()) { page.bringToTop(cBuild); } } catch (PartInitException pie) {