devtools
have the shows scripts keybinding work better across platforms
#2007
Merged
Merged