// update source DerivateView if dragging between different views occured
DerivateView sourceDerivateView = derivateViewSelection.getDerivateView();
if(sourceDerivateView!=derivateView){
- sourceDerivateView.setFocus();
-// derivateView.getSite().getPage().activate(sourceDerivateView);
sourceDerivateView.getConversationHolder().commit();
sourceDerivateView.refreshTree();
}
+ //FIXME: way too much overhead for just refreshing the other DerivateView
+// CdmStore.getContextManager().notifyContextRefresh();
LocalSelectionTransfer.getTransfer().setSelection(null);
return true;
}