On 08/01/2016 04:01 PM, Guillaume Munch wrote: > Le 31/07/2016 à 19:52, Richard Heck a écrit : >> On 07/31/2016 01:38 PM, Guillaume Munch wrote: >> >>> For other "FIXME thread" issues, either the solution is more >>> complex, or >>> using statics is inappropriate altogether (I think). Is there a plan to >>> get rid of these? >> >> It looks to me as if most of the ones that are left are in >> src/frontends/. It would >> surely be worth fixing these, but I doubt they actually cause problems, >> at least as >> the code is now. We only ever have one GUI thread. For thar reason, the >> switch >> from static to thread_local in GuiDocument, say, will have no practical >> effect at >> the moment. >> > > To me this sounds like an argument for such changes: it preserves the > current behaviour, and will ensure that it remains thread-safe in the > future.
Didn't mean to suggest otherwise. rh