Disable Save hotkey (to prevent thoughtless use)

This commit is contained in:
Nikolay Puzanov 2022-12-09 10:13:03 +03:00
parent cb8bc37dfe
commit 2f9f5b6dd1

View File

@ -132,7 +132,7 @@
<body>
<div id="buttons">
<button onclick="show_help()"><span class="text">?</span></button>
<button onclick="save_code('%SAVECODEURI%')"><span class="text">Save (ctrl-s)</span></button>
<button onclick="save_code('%SAVECODEURI%')"><span class="text">Save</span></button>
Sim:
<button onclick="send_to_sim('%IVERILOGPOSTURI%')"><span class="text">Icarus</span></button>
<button onclick="send_to_sim('%VERILATORPOSTURI%')"><span class="text">Verilator</span></button>
@ -192,13 +192,6 @@
alert("%HELPSTRING%");
};
document.addEventListener('keydown', (e) => {
if (e.key.toLowerCase() === 's' && e.ctrlKey) {
e.preventDefault();
save_code('%SAVECODEURI%');
}
});
</script>
</body>
</html>