isDevToolsOpened

Whether the DevTools view is opened.