mappings = file.getOptions().getMouseMappings();
}
} else if (act == ProjectEvent.ACTION_SET_TOOL) {
viewport.setErrorMessage(null, null);
Tool t = event.getTool();
if (t == null) setCursor(Cursor.getDefaultCursor());
else setCursor(t.getCursor());
} else if (act == ProjectEvent.ACTION_SET_STATE) {
CircuitState oldState = (CircuitState) event.getOldData();
CircuitState newState = (CircuitState) event.getData();
if (oldState != null && newState != null) {
Propagator oldProp = oldState.getPropagator();