sorter.setSortColumnIndex(columnIdx); availableFactoriesTableViewer.refresh();
Iterator selectionIter = ((IStructuredSelection) viewer .getSelection()).iterator(); while (selectionIter.hasNext()) { Object element = selectionIter.next(); FilePlaceHolder holder = (FilePlaceHolder) element; filters.remove(holder); viewer.remove(holder); } if (includeFilter) { currentExtendedPreferences .setIncludeFilterFiles(filesToStrings(filters)); } else { currentExtendedPreferences .setExcludeFilterFiles(filesToStrings(filters)); }
			public void widgetSelected(SelectionEvent e) {				sorter.setSortColumnIndex(columnIdx);				availableFactoriesTableViewer.refresh();			}