ensures that 'shift tab' => dedent shortcut works correctly in the file editor #7865
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
References
fixes #6127
cf #5060
Fixes
'shift tab'
behavior in the file editor, makes it the same as in console and notebook.With the fix,
'shift tab'
will behave the following way in these contexts:"tooltip:launch-file"
command (tries to open a tooltip with a docstring)Code changes
Made the
'shift tab'
shortcut for the"tooltip:launch-file"
command appropriately selective (same behavior as for "tooltip:launch-console" and "tooltip:launch-notebook")User-facing changes
Backwards-incompatible changes