Open sportsracer48 opened 9 years ago
It's not -- I've noticed it too. It seems to go away sometimes, and come back others. Thank you for reporting the bug!
I actually figured out what causes it. The thread that sets up the namespace gets in a race condition with the thread that initializes the list of functions. I may submit a pull request with a fix tomorrow.
So cool! Thanks!
From: sportsracer48 [notifications@github.com] Sent: Wednesday, April 08, 2015 11:29 PM To: gatech-csl/jes Cc: Guzdial, Mark Subject: Re: [jes] Included functions from media.py are no longer purple in the editor. (#84)
I actually figured out what causes it. The thread that sets up the namespace gets in a race condition with the thread that initializes the list of functions. I may submit a pull request with a fix tomorrow.
— Reply to this email directly or view it on GitHubhttps://github.com/gatech-csl/jes/issues/84#issuecomment-91105534.
Could be intended, but I doubt it.