// Replace part of the text in the text component.
private String replaceConsoleText(Object aContent, int aFrom, int aTo) {
final String aContentRepr = aContent.toString();
text.select(aFrom, aTo);
text.replaceSelection(aContentRepr);
return aContentRepr;
}
// Append text to the end of the text already present in the
// text component.
private void appendConsoleText(String aContent) {
final int lTxtLen = textLength();
text.select(lTxtLen, lTxtLen);
text.replaceSelection(aContent);
}