Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upEnhancement: Add leading zero for file navigation Issue #440 #582
Conversation
Thanks @aebopp, I think we need a setting to turn on/off this feature. |
@aebopp Do you still have the interest to update the PR? |
Hi!
I’m not exactly sure how to add settings, so I guess not.
Thanks for checking in :)
On Thu, Jul 23, 2020 at 4:21 AM Sheng Chen ***@***.***> wrote:
@aebopp <https://github.com/aebopp> Do you still have the interest to
update the PR?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#582 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AFQ3PLTHW3XCJFEEL5FIFTTR47XG3ANCNFSM4OH73KGA>
.
--
Alexandria Bopp
University of Michigan | Class of 2020
B.S. English, Industrial and Operations Engineering
[email protected] | 248-345-6720
|
Instead of hard code the prefix zeros, it will be better to let the user customize it. For example, in the setting |
aebopp commentedJun 25, 2020
Modified show.ts so files are named with leading zeros so they're in order in windows file navigation.

Works while there are less than 10,000 problems
#440