protected StyledText newSingleLineStyledText(Composite parent, String tip) {
StyledText w = new StyledText(parent, SWT.SINGLE | SWT.BORDER);
w.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
w.setToolTipText(tip);
w.addListener(SWT.KeyUp, this);
w.addVerifyKeyListener(this);
w.addListener(SWT.MouseUp, this); // for paste operation
return w;
}
public void verifyKey(VerifyEvent event) {