remove compilation warnings
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleDocumentPartitioner.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleDocumentPartitioner.java index 1e27daf..ab6d5b9 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleDocumentPartitioner.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleDocumentPartitioner.java
@@ -717,10 +717,10 @@ protected void checkOverflow() { if (fHighWaterMark >= 0) { if (fDocument.getLength() > fHighWaterMark) { - int lineDifference = 0; +// int lineDifference = 0; if (fLineNotifier != null) { // int processed = fLineNotifier.getLinesProcessed(); - int numLines = fDocument.getNumberOfLines(); +// int numLines = fDocument.getNumberOfLines(); // lineDifference = numLines - processed; } int overflow = fDocument.getLength() - fLowWaterMark;
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleLineNotifier.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleLineNotifier.java index df086e8..77c9d71 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleLineNotifier.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/console/ConsoleLineNotifier.java
@@ -39,7 +39,7 @@ */ private IConsole fConsole = null; - private String[] lineDelimiters; +// private String[] lineDelimiters; /** @@ -54,7 +54,7 @@ IConsoleLineTracker listener = (IConsoleLineTracker)listeners[i]; listener.init(console); } - lineDelimiters = fConsole.getDocument().getLegalLineDelimiters(); +// lineDelimiters = fConsole.getDocument().getLegalLineDelimiters(); fConsole.addPatternMatchListener(this); } @@ -117,7 +117,7 @@ * @see org.eclipse.ui.console.IPatternMatchListener#getPattern() */ public String getPattern() { - return ".*\n"; + return ".*\n"; //$NON-NLS-1$ } /* (non-Javadoc) @@ -134,7 +134,7 @@ try { IDocument document = fConsole.getDocument(); String text = document.get(event.getOffset(), event.getLength()); - text = text.replaceAll("[\r\n]", ""); + text = text.replaceAll("[\r\n]", ""); //$NON-NLS-1$//$NON-NLS-2$ Region region = new Region(event.getOffset(), text.length()); lineAppended(region); } catch (BadLocationException e) {}