mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Cosmetics.

Browse source
This commit is contained in:
Sergey Prigogin 2012-05-18 10:47:52 -07:00
parent dc0f8122c3
commit cdd6f113b5
1 changed files with 14 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsolePartitioner.java
View file

@ -48,12 +48,7 @@ import org.eclipse.cdt.ui.CUIPlugin;
import org.eclipse.cdt.internal.ui.preferences.BuildConsolePreferencePage; import org.eclipse.cdt.internal.ui.preferences.BuildConsolePreferencePage;
public class BuildConsolePartitioner public class BuildConsolePartitioner
implements implements IDocumentPartitioner, IDocumentPartitionerExtension, IConsole, IPropertyChangeListener {
IDocumentPartitioner,
IDocumentPartitionerExtension,
IConsole,
IPropertyChangeListener {
private IProject fProject; private IProject fProject;
/** /**
@ -66,7 +61,7 @@ public class BuildConsolePartitioner
/** /**
* The stream that was last appended to * The stream that was last appended to
*/ */
BuildConsoleStreamDecorator fLastStream = null; BuildConsoleStreamDecorator fLastStream;
BuildConsoleDocument fDocument; BuildConsoleDocument fDocument;
DocumentMarkerManager fDocumentMarkerManager; DocumentMarkerManager fDocumentMarkerManager;
@ -153,7 +148,6 @@ public class BuildConsolePartitioner
public int getEventType() { public int getEventType() {
return eventType; return eventType;
} }
} }
/** /**
@ -219,7 +213,8 @@ public class BuildConsolePartitioner
StreamEntry entry = fQueue.get(i - 1); StreamEntry entry = fQueue.get(i - 1);
// if last stream is the same and we have not exceeded our // if last stream is the same and we have not exceeded our
// display write limit, append. // display write limit, append.
if (entry.getStream()==stream && entry.getEventType()==StreamEntry.EVENT_APPEND && entry.getMarker()==marker && entry.size()<10000) { if (entry.getStream() == stream && entry.getEventType() == StreamEntry.EVENT_APPEND &&
entry.getMarker() == marker && entry.size() < 10000) {
entry.appendText(text); entry.appendText(text);
addToQueue = false; addToQueue = false;
} }
@ -496,7 +491,7 @@ public class BuildConsolePartitioner
int overflow = 0; int overflow = 0;
try { try {
overflow = fDocument.getLineOffset(nLines - fMaxLines); overflow = fDocument.getLineOffset(nLines - fMaxLines);
} catch (BadLocationException e1) { } catch (BadLocationException e) {
} }
// update partitions // update partitions
List<ITypedRegion> newParitions = new ArrayList<ITypedRegion>(fPartitions.size()); List<ITypedRegion> newParitions = new ArrayList<ITypedRegion>(fPartitions.size());