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

Update TODO.md #38

Merged
merged 2 commits into from
Oct 31, 2023
Merged

Update TODO.md #38

merged 2 commits into from
Oct 31, 2023

Conversation

manopapad
Copy link
Contributor

No description provided.

@elliottslaughter
Copy link
Contributor

I consider it a feature that you can scroll past the end of the profile. That allows to you e.g., center the end of the profile on your screen.

What might be a nice feature is making sure you can't scroll off the end of the profile so far that it's just not on screen at all.

@manopapad
Copy link
Contributor Author

Fair enough, I'll adjust according to your comment. I would still like to have an indication what I'm looking at is not part of the profile, so I'm going to also suggest that out-of-bounds areas have a different background color.

@elliottslaughter elliottslaughter merged commit 99e0642 into StanfordLegion:master Oct 31, 2023
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants