diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-28 01:30:55 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-28 01:30:55 +0100 |
| commit | f46d6661a8f33730c17cceb7e2885e789d6123d8 (patch) | |
| tree | af1dae9f7f5b7eae8a161b4ea9e4392d297676f3 /lib/editorBuffer.ml | |
| parent | 53916fc3f7dcbefd90e3d0340a2a8f32bf331d1d (diff) | |
| download | sandy-f46d6661a8f33730c17cceb7e2885e789d6123d8.tar.gz sandy-f46d6661a8f33730c17cceb7e2885e789d6123d8.zip | |
feat: add goto (G key) command
Diffstat (limited to 'lib/editorBuffer.ml')
| -rw-r--r-- | lib/editorBuffer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/editorBuffer.ml b/lib/editorBuffer.ml index 1f363ef..959c04a 100644 --- a/lib/editorBuffer.ml +++ b/lib/editorBuffer.ml | |||
| @@ -145,7 +145,7 @@ module Action = struct | |||
| 145 | in | 145 | in |
| 146 | (horizontal left, horizontal right) | 146 | (horizontal left, horizontal right) |
| 147 | 147 | ||
| 148 | let goto r c = | 148 | let goto ~r ?(c = 0) = |
| 149 | let change_content = Zipper.(goto r &> map_focus (goto c)) |> on_content | 149 | let change_content = Zipper.(goto r &> map_focus (goto c)) |> on_content |
| 150 | and change_rendered = Zipper.goto r |> on_rendered in | 150 | and change_rendered = Zipper.goto r |> on_rendered in |
| 151 | change_content *> change_rendered | 151 | change_content *> change_rendered |