Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Hide solved problems #95

Closed
twchn opened this issue Jan 23, 2019 · 2 comments
Closed

Hide solved problems #95

twchn opened this issue Jan 23, 2019 · 2 comments
Labels
feature request help wanted Extra attention is needed
Milestone
0.10.0

Comments

@twchn
Copy link

twchn commented Jan 23, 2019

How about adding an option to show/hide the solved problems, every time it takes me some time to scroll to the unsolved problems.
@jdneo
Copy link
Member

jdneo commented Jan 23, 2019

Yes, I think that's a valid feature request.

@jdneo jdneo added help wanted Extra attention is needed feature request labels Jan 23, 2019
@twchn twchn mentioned this issue Jan 24, 2019
Merged
3 tasks
@jdneo
Copy link
Member

jdneo commented Feb 2, 2019

Resolved in #94

@jdneo jdneo closed this as completed Feb 2, 2019
@jdneo jdneo added this to the 0.9.1 milestone Feb 2, 2019
@twchn twchn mentioned this issue Aug 1, 2019
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature request help wanted Extra attention is needed
Projects
None yet
Milestone
0.10.0
Development

No branches or pull requests
2 participants
@jdneo @twchn