Use popover menus
Submitted by Davi
Assigned to Will Thompson @wjt
Link to original bug (#106308)
Description
Hi, I've found a few minor UI "bugs". I think adding a report for each one of them is overkill, so I'm just gonna list them here:
- Statistics panel can be pushed out of view. Changing its "shrink" child property to False fixes the issue in my test
- The diagram needs some padding-left
- It would be nice if the menus could use the popover widget (use-popover = True in the GtkMenuButton's plus convert the GtkMenu's to
<menu>
models)
Thanks for your efforts!