「view this page in B3 βῆτα server」

Revisions №409

branch: interactive/develop 「№409」
Commited by: Rocco Moretti
GitHub commit link: 「98f0e38ed23a6f08」 「№5815」
Difference from previous tested commit:  code diff
Commit date: 2022-02-02 17:07:57

Merge pull request #5815 from RosettaCommons/roccomoretti/interactive_menu_to_front [Foldit] Bring panels to top and on screen when toggled. Add `toggle_to_top()` functionality for panels which will bring the specific panel to the top (over other items) and will make sure the panel is on screen. There's a slight rework of Widget::ensure_on_screen(), to make sure we don't cut off the top of panels (and thus remove the title bar handle) when the screen is too short. RELEASE NOTES: Make sure panels are on-screen and visible when they appear.

...