Ark/leporello-js
1
0
Fork 0
mirror of https://github.com/leporello-js/leporello-js synced 2026-01-13 21:14:28 -08:00
Code Issues Packages Projects Releases Wiki Activity

linter

Browse Source
This commit is contained in:
Dmitry Vasilev
2023-02-07 22:25:05 +08:00
parent 34188eddc3
commit 131c0565f1
8 changed files with 28 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/editor/editor.js
View File

@@ -80,7 +80,7 @@ export class Editor {
this.markers = {}
this.sessions = {}
this.ace_editor = ace.edit(this.editor_container)
this.ace_editor = globalThis.ace.edit(this.editor_container)
this.ace_editor.setOptions({
behavioursEnabled: false,
@@ -141,7 +141,7 @@ export class Editor {
ensure_session(file, code) {
let session = this.sessions[file]
if(session == null) {
session = ace.createEditSession(code)
session = globalThis.ace.createEditSession(code)
this.sessions[file] = session
session.setUseWorker(false)
session.setOptions({
@@ -389,7 +389,7 @@ export class Editor {
const from_pos = session.doc.indexToPosition(from)
const to_pos = session.doc.indexToPosition(to)
const markerId = session.addMarker(
new ace.Range(from_pos.row,from_pos.column,to_pos.row,to_pos.column),
new globalThis.ace.Range(from_pos.row,from_pos.column,to_pos.row,to_pos.column),
className
)
if(this.markers[file] == null){