Opening Developer Tools

Is there a way to open dev tools in development? Joplin opens the dev tools by default on npm start
because of the flag --open-dev-tools, But I close it and then cannot reopen it unless I open the App.
I’ve tried Command + Shift + I and that doesn’t seem to do anything. Is there a way I don’t know off?
If not, I think it would be a really cool idea to add this. It would save a lot of people having to restart the App just to get the dev tools.

I believe there is a menu option

Wow. Okay thanks. I didn’t notice that.