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 |

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.

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