public void widgetSelected(SelectionEvent evt){
updateButtons();
}
});
_tableViewer.setContentProvider(new ListContentProvider());
_tableViewer.setLabelProvider(new ITableLabelProvider(){
public Image getColumnImage(Object element, int columnIndex) {
if(element instanceof File){
return HTMLPlugin.getDefault().getImageRegistry().get(HTMLPlugin.ICON_JAR_EXT);
} else if(element instanceof IFile){
return HTMLPlugin.getDefault().getImageRegistry().get(HTMLPlugin.ICON_JAR);