Description
Describe the project you are working on
The Godot editor 🙂
Describe the problem or limitation you are having in your project
New documentation tooltips were recently added, but you need to use your mouse to be able to see them. If you're only using the keyboard, there is no way to make them appear.
Describe the feature / enhancement and how it helps to overcome the problem or limitation
Add a script editor keyboard shortcut to show the documentation tooltip for the word the caret is on.
Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams
It would work as follows (example from VS Code):
vscode_ctrl_k_ctrl_i.mp4
At the end of the video, I press Ctrl + K then Ctrl + I to make the tooltip appear without having to touch the mouse.
In Godot, we don't use leader keys (Ctrl + K) like VS Code, so the shortcut would have to be different. (I'd also prefer this to be a single key combination for convenience anyway.)
I don't have any ideas as for the default shortcut should be. Shift + F1 is currently free, but it's hard to be done with one hand (unlike Alt + F1 which is used for Contextual Help right now). Suggestions are welcome 🙂
If this enhancement will not be used often, can it be worked around with a few lines of script?
No.
Is there a reason why this should be core and not an add-on in the asset library?
This is about improving the script editor usability.