fixing a few things

This commit is contained in:
2023-07-31 14:10:05 +02:00
parent 4d5e8d9d63
commit 77b17b4f0e
2 changed files with 19 additions and 23 deletions

View File

@ -208,7 +208,7 @@ export class Editor {
event.preventDefault();
// const code = this.getCodeBlock();
this.currentFile.candidate = this.view.state.doc.toString();
tryEvaluate(this, this.currentFile);
// tryEvaluate(this, this.currentFile);
}
// Shift + Enter or Ctrl + E: evaluate the line