<div dir="ltr"><br><div>Hi all,</div><div><br></div><div>Here's a weird consequence of environments: since many of our preferences are now created via pragmas, and environments allows the "same" class to be loaded into more than one environment at the same time, we have the potential for a preference to have different settings in different environments. </div>
<div><br></div><div>AFAICT that should be fine, except at the GUI level, where we need to make it clear what's going on when a preference exists in more than one environment. That ought to be a project for 4.6, as it's too big to shoe-horn into 4.5.</div>
<div><br></div><div>In the meantime, what do you think? Are the problems that environment-specific preferences would cause? Is there something cool we could do with it? </div><div><br></div><div>Colin</div></div>