Update patch set 4
Patch Set 4:
This is super ugly. Perhaps we should use [fscreen]?
I’m also not convinced this is a useful button… it does exactly the same thing as the browser’s F11, which is an already established shortcut. And I don’t know if it’s a good idea to override that one in the query editor, either.