import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.jface.resource.LocalResourceManager;
import org.eclipse.jface.resource.ResourceManager;
+import org.eclipse.jface.viewers.CheckStateChangedEvent;
+import org.eclipse.jface.viewers.CheckboxTableViewer;
import org.eclipse.jface.viewers.ColumnLabelProvider;
import org.eclipse.jface.viewers.ColumnViewerToolTipSupport;
import org.eclipse.jface.viewers.DoubleClickEvent;
+import org.eclipse.jface.viewers.ICheckStateListener;
import org.eclipse.jface.viewers.IDoubleClickListener;
import org.eclipse.jface.viewers.IStructuredContentProvider;
import org.eclipse.jface.viewers.IStructuredSelection;
-import org.eclipse.jface.viewers.TableViewer;
import org.eclipse.jface.viewers.TableViewerColumn;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Image;
private static final Logger LOGGER = LoggerFactory.getLogger(ElementSelectorTableUI.class);
- private TableViewer viewer;
+ private CheckboxTableViewer viewer;
private ElementSelectionView view;
public ElementSelectorTableUI(Composite parent, int style, ElementSelectionView view) {
super(parent, style);
-
+
resourceManager = new LocalResourceManager(JFaceResources.getResources(), this);
-
+
this.view = view;
-
+
parent.setLayout(new FillLayout());
- // GridDataFactory.fillDefaults().grab(true, true).applyTo(this);
- // GridLayoutFactory.fillDefaults().numColumns(1).applyTo(this);
+ // GridDataFactory.fillDefaults().grab(true, true).applyTo(this);
+ // GridLayoutFactory.fillDefaults().numColumns(1).applyTo(this);
this.setLayout(new FillLayout());
viewer = createViewer();
addSelectionListener();
+ addCheckStateListener();
setContentProvider();
createSelectorListener(parent);
enableToolTips();
configureTable();
}
+ private void addCheckStateListener() {
+ viewer.addCheckStateListener(new ICheckStateListener() {
+
+ @Override
+ public void checkStateChanged(CheckStateChangedEvent event) {
+ boolean checked = event.getChecked();
+ if (checked) {
+ view.performSelection(getDisplay(), (ElementSelector) event.getElement());
+ } else {
+ view.clearResultVisualisation((ElementSelector) event.getElement());
+ }
+ }
+ });
+ }
+
public Table getTable() {
return viewer.getTable();
}
return selection != null ? (ElementSelector) selection.getFirstElement() : null;
}
- private TableViewer createViewer() {
- return new TableViewer(this, SWT.FULL_SELECTION | SWT.SINGLE);
+ private CheckboxTableViewer createViewer() {
+ return CheckboxTableViewer.newCheckList(this, SWT.FULL_SELECTION | SWT.SINGLE);
}
private void configureTable() {
- Table table = viewer.getTable();
+ Table table = getTable();
table.setHeaderVisible(true);
table.setLinesVisible(true);
createNameColumn();
createQueryColumn();
+ //createQueryActiveColumn();
}
private void enableToolTips() {
public Object[] getElements(Object inputElement) {
if (inputElement == null || !(inputElement instanceof Collection))
return new Object[0];
-
- return ((Collection<?>)inputElement).toArray();
+
+ return ((Collection<?>) inputElement).toArray();
}
});
}
ElementSelector selector = (ElementSelector) element;
return " " + selector.getName();
}
-
+
@Override
public Image getImage(Object element) {
ElementSelector selector = (ElementSelector) element;
float[] color = selector.getColor();
if (color == null)
return null;
-
+
RGB rgb = ElementSelectionTools.literalToColor(color).getRgb();
-
+
PaletteData paletteData = new PaletteData(new RGB[] { new RGB(255, 255, 255), rgb });
-
+
// Create image with a colored horizontal bar
// TODO: Indicate line width
Image image = resourceManager.createImage(ImageDescriptor.createFromImageDataProvider(zoom -> {
imageData.setPixel(x, y, 1);
}
}
-
+
return imageData;
}));
-
+
return image;
}
});
}
private void createSelectorListener(Composite parent) {
- Simantics.getSession().asyncRequest(new ElementSelectionTools.SelectionsRequest(), new SyncListenerAdapter<Collection<ElementSelector>>() {
- public void execute(ReadGraph graph, Collection<ElementSelector> result) {
- parent.getDisplay().asyncExec(() -> {
- viewer.setInput(result);
- });
- }
+ Simantics.getSession().asyncRequest(new ElementSelectionTools.SelectionsRequest(),
+ new SyncListenerAdapter<Collection<ElementSelector>>() {
+ public void execute(ReadGraph graph, Collection<ElementSelector> result) {
+ parent.getDisplay().asyncExec(() -> {
+ viewer.setInput(result);
+ });
+ }
- @Override
- public void exception(ReadGraph graph, Throwable t) throws DatabaseException {
- LOGGER.error("Error getting element selector list", t);
- }
+ @Override
+ public void exception(ReadGraph graph, Throwable t) throws DatabaseException {
+ LOGGER.error("Error getting element selector list", t);
+ }
- @Override
- public boolean isDisposed() {
- return ElementSelectorTableUI.this.isDisposed();
- }
- });
+ @Override
+ public boolean isDisposed() {
+ return ElementSelectorTableUI.this.isDisposed();
+ }
+ });
}
private void addSelectionListener() {
IStructuredSelection selection = (IStructuredSelection) event.getViewer().getSelection();
Display display = event.getViewer().getControl().getDisplay();
ElementSelector query = (ElementSelector) selection.getFirstElement();
-
+
view.performSelection(display, query);
+
+ viewer.setChecked(selection.getFirstElement(), true);
}
}
+
+ @Override
+ public void dispose() {
+ view.dispose();
+ super.dispose();
+ }
}