Skip to content

Conversation

@JPeisach
Copy link
Owner

@JPeisach JPeisach commented Mar 7, 2023

Just a test

This has a set of advantages. If there is a lot of saved symbols a lot of resources will be used, this ensures only what's needed is visible.

This might make it harder or easier for reordering, filtering and more advanced things with the sidebar.

See https://gtk-rs.org/gtk4-rs/stable/latest/book/list_widgets.html for more

JPeisach added 2 commits March 7, 2023 13:35
This has a set of advantages. If there is a lot of saved symbols a lot of
resources will be used, this ensures only what's needed is visible.

This might make it harder or easier for reordering, filtering and more advanced
things with the sidebar.

See https://gtk-rs.org/gtk4-rs/stable/latest/book/list_widgets.html for more
With the ListView, the sidebar thinks it is wider than it actually is. Disable the scrollbar and add some padding.
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