};
// consoleInput.addModifyListener(modifyListener);
consoleInputText.addCaretListener(new CaretListener() {
@Override
public void caretMoved(final CaretEvent event) {
modifyListener.modifyText(null);
}
});
consoleInputText.addKeyListener(new KeyAdapter() {
@Override
public void keyPressed(final KeyEvent e) {