2023-05-16 08:16:14 -04:00
|
|
|
import { Command, EditorView } from '@codemirror/view'
|
2023-04-13 04:21:25 -04:00
|
|
|
|
|
|
|
function scrollByLine(view: EditorView, lineCount: number) {
|
|
|
|
view.scrollDOM.scrollTop += view.defaultLineHeight * lineCount
|
|
|
|
}
|
|
|
|
|
|
|
|
const scrollUpOneLine: Command = (view: EditorView) => {
|
|
|
|
scrollByLine(view, -1)
|
|
|
|
// Always consume the keypress to prevent the cursor going up a line when the
|
|
|
|
// editor is scrolled to the top
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
const scrollDownOneLine: Command = (view: EditorView) => {
|
|
|
|
scrollByLine(view, 1)
|
|
|
|
// Always consume the keypress to prevent the cursor going down a line when
|
|
|
|
// the editor is scrolled to the bottom
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2023-05-16 08:16:14 -04:00
|
|
|
// Applied to Windows and Linux only
|
|
|
|
export const scrollOneLineKeymap = [
|
|
|
|
{
|
|
|
|
linux: 'Ctrl-ArrowUp',
|
|
|
|
win: 'Ctrl-ArrowUp',
|
|
|
|
run: scrollUpOneLine,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
linux: 'Ctrl-ArrowDown',
|
|
|
|
win: 'Ctrl-ArrowDown',
|
|
|
|
run: scrollDownOneLine,
|
|
|
|
},
|
|
|
|
]
|