Updated docs for scripting console to describe toggling
What is the feature you'd like to have? just as the title says. toggle console action, there are many toggle actions, why not console ? its convenient for fast python scipting
Is your feature request related to a problem? not really
Are any alternative solutions acceptable? i dont think so
The backtick key does this already I thought? Does it maybe just have a different name?
It's just focus console... It would be nice if we could hide it too. For example backtick to focus console input, type something, then ESC to remove focus from it and backtick again to hide it. Or something like that.
Backtick hides it too. The problem is when focus is in a text element you have to use ctrl/cmd-backtick
I thought we had that quirk documented but apparently not so I'm updating this issue to track that.
Will be in https://docs.binary.ninja/guide/index.html#script-python-console
You're right, ctrl-` is the toggle. I've set ctrl-` to run terminal on mac so I woudnt find it. I tried removing focus from input field but backtick brought it back to it instead toggling console.
Might I ask why it's not exposed to key bindings if it's already there ? I feel it's a bit counterintuitive that there are many exposed toggle actions but some are hidden.
Not sure offhand, I'll double check that as well. That should also change.
Resolved in builds >= 5.1.7924.