import org.argeo.cms.util.CmsUtils;
import org.argeo.connect.ConnectTypes;
import org.argeo.connect.resources.ResourcesService;
import org.argeo.cms.util.CmsUtils;
import org.argeo.connect.ConnectTypes;
import org.argeo.connect.resources.ResourcesService;
import org.argeo.connect.ui.ConnectUiConstants;
import org.argeo.connect.ui.util.BasicNodeListContentProvider;
import org.argeo.connect.ui.widgets.DelayedText;
import org.argeo.connect.ui.ConnectUiConstants;
import org.argeo.connect.ui.util.BasicNodeListContentProvider;
import org.argeo.connect.ui.widgets.DelayedText;
import org.argeo.eclipse.ui.EclipseUiUtils;
import org.argeo.jcr.JcrUtils;
import org.argeo.people.PeopleService;
import org.argeo.eclipse.ui.EclipseUiUtils;
import org.argeo.jcr.JcrUtils;
import org.argeo.people.PeopleService;
import org.argeo.suite.workbench.internal.EntitySingleColumnLabelProvider;
import org.eclipse.jface.layout.TableColumnLayout;
import org.eclipse.jface.viewers.ColumnWeightData;
import org.argeo.suite.workbench.internal.EntitySingleColumnLabelProvider;
import org.eclipse.jface.layout.TableColumnLayout;
import org.eclipse.jface.viewers.ColumnWeightData;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Table;
import org.eclipse.swt.widgets.TableColumn;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Table;
import org.eclipse.swt.widgets.TableColumn;
// Use a delayed text: the query won't be done until the user stop
// typing for 800ms
int style = SWT.BORDER | SWT.SEARCH | SWT.ICON_CANCEL;
// Use a delayed text: the query won't be done until the user stop
// typing for 800ms
int style = SWT.BORDER | SWT.SEARCH | SWT.ICON_CANCEL;
- filterTxt = new DelayedText(parent, style, ConnectUiConstants.SEARCH_TEXT_DELAY);
+ DelayedText delayedText = new DelayedText(parent, style, ConnectUiConstants.SEARCH_TEXT_DELAY);
+ filterTxt = delayedText.getText();
filterTxt.setLayoutData(EclipseUiUtils.fillWidth());
final ServerPushSession pushSession = new ServerPushSession();
filterTxt.setLayoutData(EclipseUiUtils.fillWidth());
final ServerPushSession pushSession = new ServerPushSession();
private static final long serialVersionUID = 5003010530960334977L;
public void modifyText(ModifyEvent event) {
private static final long serialVersionUID = 5003010530960334977L;
public void modifyText(ModifyEvent event) {