| 245 | } |
| 246 | const scrollTop = (input: string) => withPath(input, (file) => view().scrollTop(file)) |
| 247 | const scrollLeft = (input: string) => withPath(input, (file) => view().scrollLeft(file)) |
| 248 | const selectedLines = (input: string) => withPath(input, (file) => view().selectedLines(file)) |
| 249 | const setScrollTop = (input: string, top: number) => withPath(input, (file) => view().setScrollTop(file, top)) |
| 250 | const setScrollLeft = (input: string, left: number) => withPath(input, (file) => view().setScrollLeft(file, left)) |