public void attributeListChanged(AttributeEvent e) { }
public void attributeValueChanged(AttributeEvent e) {
Attribute<?> attr = e.getAttribute();
if (attr == Options.ATTR_GATE_UNDEFINED) {
CircuitState circState = getCircuitState();
circState.markComponentsDirty(getCircuit().getNonWires());
// TODO actually, we'd want to mark all components in
// subcircuits as dirty as well
}
}