(event: EditorEvent)
| 52 | import useShellWebsocket, { shellWsEmitterEvents } from "./useShellWebsocket"; |
| 53 | |
| 54 | function shouldNavigatePrevious(event: EditorEvent) { |
| 55 | return event.cursor.line === 1; |
| 56 | } |
| 57 | |
| 58 | function shouldNavigateNext(event: EditorEvent) { |
| 59 | return event.cursor.line === event.state.lineCount; |