☰

Mypy-play.net keyboard shortcut

Allow ctrl-enter to be shortcut for "Run" on mypy-play.net

如何安装

您需要先安装一款用户脚本管理器扩展，例如 Tampermonkey 篡改猴、Greasemonkey 油猴子 或 Violentmonkey 暴力猴，才能安装此脚本。

您需要先安装一款用户脚本管理器扩展，例如 Tampermonkey 篡改猴，才能安装此脚本。

您需要先安装一款用户脚本管理器扩展，例如 Tampermonkey 篡改猴 或 Violentmonkey 暴力猴，才能安装此脚本。

您需要先安装一款用户脚本管理器扩展，例如 Tampermonkey 篡改猴 或 Userscripts ，才能安装此脚本。

您需要先安装一款用户脚本管理器扩展，例如 Tampermonkey 篡改猴，才能安装此脚本。

您需要先安装一款用户脚本管理器扩展后才能安装此脚本。

（我已经安装了用户脚本管理器，让我安装！）

如何安装

您需要先安装一款用户样式管理器扩展，比如 Stylus，才能安装此样式。

您需要先安装一款用户样式管理器扩展，比如 Stylus，才能安装此样式。

您需要先安装一款用户样式管理器扩展，比如 Stylus，才能安装此样式。

您需要先安装一款用户样式管理器扩展后才能安装此样式。

您需要先安装一款用户样式管理器扩展后才能安装此样式。

您需要先安装一款用户样式管理器扩展后才能安装此样式。

（我已经安装了用户样式管理器，让我安装！） 

// ==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()
        }
    })
})();