mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-09 10:46:02 +02:00
Code Issues Wiki Activity

fixed http://bugs.eclipse.org/bugs/show_bug.cgi?id=32012

Browse source
This commit is contained in:
David Inglis 2003-03-12 19:30:31 +00:00
parent f4b27bf0ee
commit 79e6c110a2
2 changed files with 17 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/org.eclipse.cdt.ui/ChangeLog
View file

@ -1,3 +1,9 @@
2003-03-12 David Inglis
* src/org/eclipse/cdt/internal/ui/BuildConsoleManager.java,v
Removed buffering of build console as it was preventing output from being
visible during long builds.
http://bugs.eclipse.org/bugs/show_bug.cgi?id=32012
2003-03-02 Alain Magloire 2003-03-02 Alain Magloire
* src/org/eclipse/cdt/ui/wizards/BinaryParserBlock.java: * src/org/eclipse/cdt/ui/wizards/BinaryParserBlock.java:

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

@ -116,23 +116,17 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang
} }
public void flush() throws IOException { public void flush() throws IOException {
flush(false); Display.getDefault().syncExec(new Runnable() {
} public void run() {
if (BuildConsolePreferencePage.isConsoleOnTop())
public void flush(boolean force) throws IOException { bringConsoleOnTop();
if (force || fBuffer.length() > 512) { try {
Display.getDefault().syncExec(new Runnable() { int len = fDocument.getLength();
public void run() { fDocument.replace(len, 0, readBuffer());
if (BuildConsolePreferencePage.isConsoleOnTop()) } catch (BadLocationException x) {
bringConsoleOnTop();
try {
int len = fDocument.getLength();
fDocument.replace(len, 0, readBuffer());
} catch (BadLocationException x) {
}
} }
}); }
} });
} }
void bringConsoleOnTop() { void bringConsoleOnTop() {
@ -160,7 +154,7 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang
} }
public void close() throws IOException { public void close() throws IOException {
flush(true); flush();
} }
} }