root.getProject().getOptions().getAttributeSet().addAttributeListener(l);
updateRandomness();
}
private void updateRandomness() {
Options opts = root.getProject().getOptions();
Object rand = opts.getAttributeSet().getValue(Options.sim_rand_attr);
int val = ((Integer) rand).intValue();
int logVal = 0;
while ((1 << logVal) < val) logVal++;
simRandomShift = logVal;
}