Skip to content

Make rerun menu scrollable if there is not enough space#10642

Merged
Wumpf merged 1 commit into
mainfrom
lucas/rerun-menu-scrollarea
Jul 15, 2025
Merged

Make rerun menu scrollable if there is not enough space#10642
Wumpf merged 1 commit into
mainfrom
lucas/rerun-menu-scrollarea

Conversation

@lucasmerlin
Copy link
Copy Markdown
Member

Related

What

Makes the menu scrollable if there is not enough space

Screen.Recording.2025-07-15.at.15.07.36.mov

@lucasmerlin lucasmerlin added ui concerns graphical user interface include in changelog 🪳 bug Something isn't working labels Jul 15, 2025
@lucasmerlin lucasmerlin changed the title Make rerun menu scrollable Make rerun menu scrollable if there is not enough space Jul 15, 2025
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Jul 15, 2025

Web viewer built successfully. If applicable, you should also test it:

  • I have tested the web viewer
Result Commit Link Manifest
905896c https://rerun.io/viewer/pr/10642 +nightly +main

Note: This comment is updated whenever you push a commit.

Copy link
Copy Markdown
Member

@Wumpf Wumpf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

neat!

@Wumpf Wumpf merged commit 36b3f81 into main Jul 15, 2025
49 of 50 checks passed
@Wumpf Wumpf deleted the lucas/rerun-menu-scrollarea branch July 15, 2025 13:44
@Wumpf
Copy link
Copy Markdown
Member

Wumpf commented Jul 15, 2025

on second thought, why aren't all egui menus like that out of the box?

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

Labels

🪳 bug Something isn't working include in changelog ui concerns graphical user interface

Projects

None yet

Development

Successfully merging this pull request may close these issues.

rerun menu is stuck when the window height is lower than the one of the menu

2 participants