Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Enhancement: Add leading zero for file navigation Issue #440 #582

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
aebopp wants to merge 2 commits into LeetCode-OpenSource:master
base: master
Choose a base branch
Loading
from aebopp:leading-zero-issue440

Conversation

Copy link

@aebopp aebopp commented Jun 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
files

Copy link
Member

jdneo commented Jun 27, 2020

Thanks @aebopp,

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

Copy link
Member

jdneo commented Jul 23, 2020

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

Copy link
Author

aebopp commented Jul 23, 2020 via email

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

Copy link
Member

jdneo commented Jul 24, 2020

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.

yihong0618, ericness, and hank7z7 reacted with thumbs up emoji

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@yihong0618 yihong0618 yihong0618 left review comments

Reviewers whose approvals may not affect merge requirements

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /