mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-26 02:15:31 +02:00
Code Issues Wiki Activity

Faulty login when checking the BuildConsole preferences.

Browse source
This commit is contained in:
Alain Magloire 2003-09-04 19:07:07 +00:00
parent 521c84d7bd
commit b08d8585ab
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/BuildConsoleManager.java
View file

@ -118,8 +118,7 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang
public void flush() throws IOException { public void flush() throws IOException {
Display.getDefault().syncExec(new Runnable() { Display.getDefault().syncExec(new Runnable() {
public void run() { public void run() {
if (BuildConsolePreferencePage.isConsoleOnTop()) bringConsoleOnTop();
bringConsoleOnTop();
try { try {
int len = fDocument.getLength(); int len = fDocument.getLength();
fDocument.replace(len, 0, readBuffer()); fDocument.replace(len, 0, readBuffer());
@ -145,7 +144,8 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang
//restore focus //restore focus
page.activate(activePart); page.activate(activePart);
} }
} else { }
if (cBuild != null && BuildConsolePreferencePage.isConsoleOnTop()) {
page.bringToTop(cBuild); page.bringToTop(cBuild);
} }
} catch (PartInitException pie) { } catch (PartInitException pie) {