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

Add user preference "display node numbers" #412

Open
herzbube opened this issue Jan 28, 2024 · 1 comment
Open

Add user preference "display node numbers" #412

herzbube opened this issue Jan 28, 2024 · 1 comment
Assignees

Comments

@herzbube
Copy link
Owner

Node numbers in the node tree view take up vertical space. Users may want to disable node numbers in certain scenarios, e.g.

  • On a smaller iPhone which does not have much screen space in general
  • On any device held in landscape where vertical space is scarce
  • Or simply because they don't see much value in node numbers

Consider adding a user preference that lets the user decide whether or not to display node numbers.

As usual, the reason for not adding such a user preference is that too many user preferences can make an app confusing.

@herzbube
Copy link
Owner Author

NodeTreeViewModel already has a boolean property displayNodeNumbers. Implementing this feature would therefore likely consist of

  • Exposing the property as a user preference.
  • Making sure that the node tree is redrawn appropriately when the user preference is changed.

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

No branches or pull requests

1 participant