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

Mark optimal and sub-optimal proofs differently in menu screen #98

Open

olligobber opened this issue Dec 24, 2018 · 4 comments

olligobber commented Dec 24, 2018 •

edited

Loading

For completionists, it would be convenient to quickly spot any sub-optimal (longer than minimum length) proofs from the menu screen.

SnowOnion commented Dec 24, 2018

typo? sup -> sub

Owner

nomeata commented Dec 24, 2018

Neat idea. Any suggestion for the design? Ideally something self-explanatory that does not confuse new users who don't care about optimality yet?

Author

olligobber commented Dec 28, 2018

Yeah, some ideas are

Put a star next to optimal proofs
Assign a different colour to optimal proofs
Flag sub-optimal proofs in a section when that section is completed
Flag sub-optimal proofs when a button or menu item is pressed

Owner

nomeata commented Dec 28, 2018

I like the star, as it is purely positive feedback.

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