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.

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

Cannot vertically resize the recordings list/panel #5120

Closed
teh-cmc opened this issue Feb 8, 2024 · 2 comments
Closed

Cannot vertically resize the recordings list/panel #5120

teh-cmc opened this issue Feb 8, 2024 · 2 comments
Labels
😤 annoying Something in the UI / SDK is annoying to use enhancement New feature or request 📺 re_viewer affects re_viewer itself ui concerns graphical user interface

Comments

@teh-cmc
Copy link
Member

teh-cmc commented Feb 8, 2024

I have a lot of recordings opened... it'd be nice if I could make the Recordings listing bigger.

image
@teh-cmc teh-cmc added enhancement New feature or request 📺 re_viewer affects re_viewer itself 😤 annoying Something in the UI / SDK is annoying to use labels Feb 8, 2024
@abey79
Copy link
Member

abey79 commented Feb 8, 2024

@emilk Feels like we need some kind of splitter container with two sub-UI. Does egui have something like that already? I couldn't find anything.

Or would adding a nested TopBottomPanel::top() be a suitable workaround?

@abey79 abey79 added the ui concerns graphical user interface label Feb 8, 2024
@Wumpf
Copy link
Member

Wumpf commented Feb 15, 2024

@Wumpf Wumpf closed this as completed Feb 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
😤 annoying Something in the UI / SDK is annoying to use enhancement New feature or request 📺 re_viewer affects re_viewer itself ui concerns graphical user interface
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Wumpf @teh-cmc @abey79