Skip to content

[Feature Request] Show filename #1879

daveroberts started this conversation in Ideas
[Feature Request] Show filename #1879
@daveroberts daveroberts
Dec 18, 2019 · 0 comments
Return to top
Discussion options

daveroberts
Dec 18, 2019

You must be logged in to vote

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Ideas
Labels
None yet
1 participant
@daveroberts
Converted from issue

This discussion was converted from issue #934 on May 13, 2023 13:53.