infoDisplay.append( (clientId > 0 ? getTimeStamp() + "> " : "") + input.getText() + getLineDelimiter() );
if (clientId > 0) infoDisplay.append( getTimeStamp() + "> " ); int start = infoDisplay.getCharCount(); String outText = input.getText(); infoDisplay.append( outText + getLineDelimiter() ); infoDisplay.setStyleRange(new StyleRange(start, outText.length(), highlightColor, infoDisplay.getBackground()));
			public void keyPressed( KeyEvent e ) {				int numLinesDisplayed = infoDisplay.getClientArea().height / infoDisplay.getLineHeight();				if (e.keyCode == SWT.PAGE_UP) {					if ( infoDisplay.getTopIndex() > numLinesDisplayed )  						infoDisplay.setTopIndex( infoDisplay.getTopIndex() - ( numLinesDisplayed ) );					else						infoDisplay.setTopIndex(0);				}				else if (e.keyCode == SWT.PAGE_DOWN) {					infoDisplay.setTopIndex( infoDisplay.getTopIndex() + ( numLinesDisplayed ) );				}				else if ( e.character == SWT.CR ) {					infoDisplay.append( (clientId > 0 ? getTimeStamp() + "> " : "") + input.getText() + getLineDelimiter() );					setChanged();					notifyObservers( input.getText() );					input.setText( "" );				}			}		