Added option to disable the DevTools panel