Enhancement: Add leading zero for file navigation Issue #440

[aebopp]

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

[jdneo]

Thanks @aebopp,

I think we need a setting to turn on/off this feature.

[jdneo]

@aebopp Do you still have the interest to update the PR?

[aebopp]

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 aebopp@umich.edu | 248-345-6720

[jdneo]

Instead of hard code the prefix zeros, it will be better to let the user customize it. For example, in the setting leetcode.filePath, we can support something like ${id%05d} in the filename. This will provide enough flexibility to the users.