(text: string | undefined)
| 319 | ); |
| 320 | |
| 321 | const stripBar = (text: string | undefined) => (text ? text.replace('|', '') : text); |
| 322 | const actualJumpPosition = |
| 323 | (globalState.jumpTracker.currentJump && |
| 324 | end.lines[globalState.jumpTracker.currentJump.position.line]) || |