rename caret -> cursor

2026-01-13 21:14:28 -08:00 · 2022-12-03 03:18:54 +08:00
parent e3a742ae77
commit 7e2f2d82b9
6 changed files with 40 additions and 41 deletions
--- a/src/editor/ui.js
+++ b/src/editor/ui.js
@@ -165,7 +165,7 @@ export class UI {
      let loc
      if((loc = e.target.dataset.location) != null){
        loc = JSON.parse(loc)
-        this.editor.set_caret_position(loc.index)
+        this.editor.set_cursor_position(loc.index)
        this.editor.focus()
      }
    }