Add shortcut for theme picker menu#78773

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:theme-picker-shortcutGuillaumeGomez/rust:theme-picker-shortcutCopy head branch name to clipboard