protected Text newText(Composite parent, int style, String tip) {
Text t = new Text(parent, style | SWT.BORDER);
t.setToolTipText(tip);
t.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
t.addListener(SWT.KeyUp, this);
t.addListener(SWT.MouseUp, this); // for paste operation
return t;
}
protected Text newLabeledText(Composite parent, int style, String label, String tip) {
setTextAndTip(new Label(parent, SWT.NONE), label, tip);