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.

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

Support hiding histories instead of forgetting them #2164

Closed
eggrobin opened this issue May 11, 2019 · 0 comments · Fixed by #2370
Closed

Support hiding histories instead of forgetting them #2164

eggrobin opened this issue May 11, 2019 · 0 comments · Fixed by #2370
Assignees
Milestone

Comments

@eggrobin
Copy link
Member

Many users set a shorten the history at some point because it gets in their way; since that setting forgets the history of all vessels, it makes it impossible to look back at any history again.

That setting should only hide the history, reversibly, and should probably be per-vessel instead of global.

Forgetting is more of a performance concern, and should be a separate setting.

@pleroy pleroy added the ui label Aug 10, 2019
@eggrobin eggrobin self-assigned this Nov 9, 2019
@eggrobin eggrobin added this to the פרנקל milestone Nov 9, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants