diff options
| author | bobzel <zzzman@gmail.com> | 2023-03-05 21:24:09 -0500 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2023-03-05 21:24:09 -0500 |
| commit | 0c38e4dc096d6abf82ef11286616856b7119c6e1 (patch) | |
| tree | d61cb1b38a246a56905a0b24f6e81562b480934a /src/server/websocket.ts | |
| parent | a95043b3fd0325f79cae080bc71e8fe06432bdc3 (diff) | |
replace jumpToDocument with showDocument. restructure code to get rid of scrollFocus by adding getView() and fixing focus() and restoreTargetView
Diffstat (limited to 'src/server/websocket.ts')
0 files changed, 0 insertions, 0 deletions