Improve settings menu display and remove theme menu#96958

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:settings-menu-displayGuillaumeGomez/rust:settings-menu-displayCopy head branch name to clipboard