Thanks, applied!
A couple of things that need some more investigation/thought though:
- Pressing Escape in the Query Tool and then using Alt+Shift+[ (or ] ) seems to behave oddly:
- Sometimes it will work once, but then won't navigate to additional tabs.
- It often seems to fill the Codemirror on the query tool with garbage.
I suspect what is happening is that although it's hidden, the Codemirror instance is grabbing the second and subsequent key presses and trying to display them.
- Should we put the shortcuts on the main menus? We have them on tooltips and button menus elsewhere, so it seems like we should.
