(a: NoteJumpLocation | null, b: NoteJumpLocation | null)
| 1320 | } |
| 1321 | |
| 1322 | function sameNoteJumpLocation(a: NoteJumpLocation | null, b: NoteJumpLocation | null): boolean { |
| 1323 | if (!a || !b) return false |
| 1324 | return ( |
| 1325 | a.path === b.path && |
| 1326 | a.editorSelectionAnchor === b.editorSelectionAnchor && |
| 1327 | a.editorSelectionHead === b.editorSelectionHead && |
| 1328 | a.editorScrollTop === b.editorScrollTop && |
| 1329 | a.previewScrollTop === b.previewScrollTop |
| 1330 | ) |
| 1331 | } |
| 1332 | |
| 1333 | function appendNoteJumpHistory( |
| 1334 | history: NoteJumpLocation[], |
no outgoing calls
no test coverage detected