diff --git a/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/model/TerminalTextDataWindow.java b/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/model/TerminalTextDataWindow.java index ebfa656d283..583318a1888 100644 --- a/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/model/TerminalTextDataWindow.java +++ b/plugins/org.eclipse.tm.terminal/src/org/eclipse/tm/internal/terminal/model/TerminalTextDataWindow.java @@ -165,7 +165,6 @@ public class TerminalTextDataWindow implements ITerminalTextData { fMaxHeight=height; } public void setWindow(int startLine, int size) { - assert startLine+size<=getHeight()||throwRuntimeException(); fWindowStartLine=startLine; fWindowSize=size; fData.setDimensions(fWindowSize, getWidth());