};
PlatformUI.getWorkbench().getThemeManager().addPropertyChangeListener(fPropertyChangeListener);
}
private void onMouseDoubleClick(DoubleClickEvent event) {
IStructuredSelection selection = (IStructuredSelection) event.getSelection();
if (selection.isEmpty())
return;
Object firstElem = selection.getFirstElement();
/* Open News */
if (firstElem instanceof INews) {
/* Do nothing if the user recently invokved a column action */