export type { ScrollGutterPluginOptions } from '../pm-plugins/scroll-gutter/plugin';