Code

Add shortcut for theme picker menu#78773

Code

Merged

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

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

Nov 12, 2020

Commits

Commits on Nov 5, 2020

• Add shortcut for theme picker menu

  GuillaumeGomez

  committed
  8b20e9b

  Copy full SHA for 8b20e9b