Files
ic10emu/www/src/js/editor/prompt_patch.js
2024-03-23 17:04:10 -07:00

12 lines
302 B
JavaScript

const ace_prompt = require('ace-code/src/ext/prompt.js').prompt;
console.log(ace_prompt);
function prompt(editor, message, options, callback) {
ace_prompt(editor, message, options, callback);
if (editor.cmdLine) {
editor.cmdLine.setTheme("ace/theme/one_dark");
}
}
exports.prompt = prompt;