2023-04-13 04:21:25 -04:00
|
|
|
import { foldAll, toggleFold, unfoldAll } from '@codemirror/language'
|
|
|
|
|
|
2023-05-16 08:16:14 -04:00
|
|
|
export const foldingKeymap = [
|
|
|
|
|
{
|
|
|
|
|
key: 'F2',
|
|
|
|
|
run: toggleFold,
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
key: 'Alt-Shift-1',
|
|
|
|
|
run: foldAll,
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
key: 'Alt-Shift-0',
|
|
|
|
|
run: unfoldAll,
|
|
|
|
|
},
|
|
|
|
|
]
|
