viewer.setLabelProvider(viewLabelProvider);
viewer.setInput(getViewSite());
viewer.addDoubleClickListener(new ViewDoubleClickListener());
+ getViewSite().setSelectionProvider(viewer);
Transfer[] tt = new Transfer[] { TextTransfer.getInstance() };
// Transfer[] tt = new Transfer[] { EditorInputTransfer.getInstance() };
class VmAgentObserver extends AsyncUiEventListener {
protected void onEventInUiThread(EventIterator events) {
+ // TODO: optimize based on event
viewer.refresh();
}
}