editor = new Text(textGroup, SWT.V_SCROLL | SWT.H_SCROLL|SWT.MULTI | SWT.BORDER );
textForm.setWeights(new int[] {30, 70});
editor.addKeyListener(new KeyAdapter() {
public void keyReleased(KeyEvent e) {
if (e.keyCode == 97 && (e.stateMask & SWT.CTRL)!=0) {
editor.selectAll();
}
}
});
