Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This call did trigger an endless loop which called `devTool.saveOptions` as many times as we could, till the `MAX_WRITE_OPERATIONS_PER_MINUTE` error stopped us. Because, when we alter the checkbox with `detailPanelShow.checked = false` the eventlistener on the checkbox will save the new state and call our function - no need to alter the devTool options again
- Loading branch information