extension.appendVerifyKeyListener(verifyKeyListener);
return true;
} else {
StyledTextArea textWidget= viewer.getTextWidget();
// if (Helper.okToUse(textWidget)) {
textWidget.addEventHandler(VerifyEvent.VERIFY,verifyKeyListener);
return true;
// }
}
// return false;
}