private Button hoveringEdgesEnabledButton;
private Button elevationServerEnabledButton;
private Button notInSimulationButton;
+ private Button showConnectedComponentsButton;
private List<Supplier<Pair<String, DynamicArrowContribution>>> edgeArrowSuppliers;
elevationServerEnabledButton = new Button(parent, SWT.CHECK);
elevationServerEnabledButton.setText("Elevation Server Bounding Box");
addSelectionListener(elevationServerEnabledButton);
+
+ showConnectedComponentsButton = new Button(parent, SWT.CHECK);
+ showConnectedComponentsButton.setText("Show Connected Components");
+ addSelectionListener(showConnectedComponentsButton);
}
private void initializeHoverElements(Composite parent) {
boolean elevationServerBoundingBox = elevationServerEnabledButton.getSelection();
boolean notInSimulation = notInSimulationButton.getSelection();
+ boolean showConnectedComponents = showConnectedComponentsButton.getSelection();
Simantics.getSession().asyncRequest(new WriteRequest() {
DynamicVisualisations.setElevationServerBoundingBox(graph, exist, elevationServerBoundingBox);
DynamicVisualisations.setNotInSimulation(graph, exist, notInSimulation);
+ DynamicVisualisations.setShowConnectedComponents(graph, exist, showConnectedComponents);
}
});
}
hoveringVertexEnabledButton.setSelection(visualisation.isKeyVariablesVertexHover());
hoveringEdgesEnabledButton.setSelection(visualisation.isKeyVariablesEdgesHover());
+ showConnectedComponentsButton.setSelection(visualisation.showConnectedComponents());
+ notInSimulationButton.setSelection(visualisation.isInSimulation());
+ elevationServerEnabledButton.setSelection(visualisation.isShowElevationServerBoundingBox());
+
hideConsumersButton.setSelection(visualisation.isHideConsumers());
hideEdgesButton.setSelection(visualisation.isHideEdges());
hideProducersButton.setSelection(visualisation.isHideProducers());