Fix theme picker blur handler: always hide instead of switching#62837
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 6, 2019
Merged
Fix theme picker blur handler: always hide instead of switching#62837bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom