1
0
mirror of https://github.com/pyscript/pyscript.git synced 2022-05-01 19:47:48 +03:00

resolved merge conflicts, fixed linting issues

This commit is contained in:
Princiya Sequeira
2022-04-27 12:58:07 +02:00
parent 2f7d948074
commit 0ac2d4d339

View File

@@ -95,12 +95,12 @@ export class PyRepl extends BaseEvalElement {
let startState = EditorState.create({ let startState = EditorState.create({
doc: this.code.trim(), doc: this.code.trim(),
extensions: extensions extensions: extensions
}) });
this.editor = new EditorView({ this.editor = new EditorView({
state: startState, state: startState,
parent: this.editorNode parent: this.editorNode
}) });
let mainDiv = document.createElement('div'); let mainDiv = document.createElement('div');
addClasses(mainDiv, ["parentBox", "group", "flex", "flex-col", "mt-2", "mx-8"]) addClasses(mainDiv, ["parentBox", "group", "flex", "flex-col", "mt-2", "mx-8"])
@@ -123,7 +123,9 @@ export class PyRepl extends BaseEvalElement {
function wrap(el: any){ function wrap(el: any){
async function evaluatePython() { async function evaluatePython() {
el.evaluate() el.evaluate();
}
return evaluatePython;
} }
// Settings button // Settings button