Bringing back dev tools

If I specify --open-dev-tools in flags.txt, the dev tools pane opens when I start Joplin.

If I close the dev tools pane, is there a way to bring it back?

I tried Ctrl-Shift-I and F12, but these don’t do anything.

Is there a key binding to reopen the dev tools?

MV