1
0
web/static/pkg/hotkeys-js/dist/terminal.js

15 lines
335 B
JavaScript
Raw Normal View History

2024-04-05 08:46:22 +00:00
hotkeys('ctrl+enter', function() {
var ele = document.getElementById('aiterm');
var svg = document.getElementById('aisvg');
if (ele.style.display == 'none') {
ele.style.display = 'block';
svg.style.display = 'none';
ele.focus();
} else {
ele.style.display = 'none';
svg.style.display = 'block';
svg.focus();
}
});