Skip to content

Conversation

uhafner
Copy link
Member

@uhafner uhafner commented Aug 2, 2021

Full path is shown as tooltip only.

Full path is shown as tooltip only.
@uhafner uhafner added the enhancement Enhancement of existing functionality label Aug 2, 2021
@uhafner uhafner merged commit 32cf257 into master Aug 3, 2021
@uhafner uhafner deleted the improve-file-column branch August 3, 2021 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Enhancement of existing functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant