Hi,
I know that devtools are ignored along with some other configuration keys.
My question is:
react-stylegudist entirely or there are some edge cases?Thanks for your time!
For devtools it should not be necessary, so feel free to send a pull request ;-)
The only thing I’m not sure about is the production build: should we disable sourcemaps in this case?
So I should go with optional disabling ignoring or I can just remove devtools from ignored keys list?
@n1313 Did you want to be able to change devtools? What should we do for production build?
Hmmm, no, I don't think devtools matters for what I do.
Sent from my iPhone
On 30 May 2017, at 19:12, Artem Sapegin notifications@github.com wrote:
@n1313 Did you want to be able to change devtools? What should we do for production build?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or mute the thread.
@n1313 Sorry, it was @cef62 ;-)
Yeah, typical... "People with numbers in their nicknames, they're all the same" :(((
Sent from my iPhone
On 30 May 2017, at 19:22, Artem Sapegin notifications@github.com wrote:
@n1313 Sorry, it was @cef62 ;-)
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or mute the thread.
Any updates on that?
CC: @cef62 @sapegin
I think it should explicitly disable devtool in production, otherwise it would complicate style guide configuration and will be easy to miss.
Most helpful comment
Yeah, typical... "People with numbers in their nicknames, they're all the same" :(((
Sent from my iPhone