Minor bug fix: dev tools panel showed up regardless of mode.