private DateFormat dateFormat = new SimpleDateFormat(
"EEE, dd MMM yyyy HH:mm:ss");
- private Integer queryLimit = 100;
+ private Integer queryLimit = 2000;
public void createPartControl(Composite parent) {
+
Table table = createTable(parent);
viewer = new TableViewer(table);
viewer.setLabelProvider(createLabelProvider());
viewer.setInput(getViewSite());
viewer.addDoubleClickListener(new ViewDoubleClickListener());
+ getViewSite().setSelectionProvider(viewer);
+
resultsObserver = new AsyncUiEventListener() {
protected void onEventInUiThread(EventIterator events) {
// TODO optimize by updating only the changed result
}
protected Table createTable(Composite parent) {
- int style = SWT.SINGLE | SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL
- | SWT.FULL_SELECTION;
+ int style = SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL
+ | SWT.FULL_SELECTION | SWT.MULTI;
// does not work with RAP, commented for the time being
// | SWT.HIDE_SELECTION;
return table;
}
+ // public void refresh() {
+ // viewer.refresh();
+ // }
+
/*
* METHODS TO BE OVERRIDDEN
*/