Allow ctrl-enter to be shortcut for "Run" on mypy-play.net
// ==UserScript==
// @name Mypy-play.net keyboard shortcut
// @version 0.0
// @description Allow ctrl-enter to be shortcut for "Run" on mypy-play.net
// @match https://mypy-play.net/*
// @grant none
// @namespace https://greasyfork.org/users/2810
// ==/UserScript==
(function() {
document.addEventListener('keydown', function(event){
if(event.code=='Enter'&&
!event.shiftKey&&!event.metaKey&&event.ctrlKey
){
run.click()
}
})
})();