Skip to content
GitLab
Explore
Sign in
GNOME
gtk
Merge requests
!6202
MenuButton—Unset old child of button before change
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Boles
requested to merge
dboles/menu_button_remove_child
into
main
Jul 22, 2023
Overview
2
Commits
1
Pipelines
1
Changes
1
Expand
Noticed at
#5969 (comment 1797116)
#5969 (closed)
Merge request reports