* if relevant
*/
public void refresh() {
* if relevant
*/
public void refresh() {
- String filter = hasFilter ? filterTxt.getText() : null;
- if ("".equals(filter.trim()))
+ String filter = hasFilter ? filterTxt.getText().trim() : null;
+ if ("".equals(filter))
filter = null;
refreshFilteredList(filter);
}
filter = null;
refreshFilteredList(filter);
}
table.setHeaderVisible(true);
TableViewerColumn column;
table.setHeaderVisible(true);
TableViewerColumn column;
if (hasSelectionColumn) {
// offset = 1;
column = ViewerUtils.createTableViewerColumn(viewer, "", SWT.NONE,
if (hasSelectionColumn) {
// offset = 1;
column = ViewerUtils.createTableViewerColumn(viewer, "", SWT.NONE,
+ layout.setColumnData(column.getColumn(), new ColumnWeightData(25,
+ 25, false));
+
SelectionAdapter selectionAdapter = new SelectionAdapter() {
private static final long serialVersionUID = 1L;
SelectionAdapter selectionAdapter = new SelectionAdapter() {
private static final long serialVersionUID = 1L;
// NodeViewerComparator comparator = new NodeViewerComparator();
// TODO enable the sort by click on the header
// NodeViewerComparator comparator = new NodeViewerComparator();
// TODO enable the sort by click on the header
for (ColumnDefinition colDef : columnDefs)
createTableColumn(viewer, layout, colDef);
for (ColumnDefinition colDef : columnDefs)
createTableColumn(viewer, layout, colDef);