HOME


Mini Shell 1.0
Redirecting to https://devs.lapieza.net/iniciar-sesion Redirecting to https://devs.lapieza.net/iniciar-sesion.
DIR: /proc/1991108/root/usr/share/nodejs/@types/codemirror/addon/search/
Upload File :
Current File : //proc/1991108/root/usr/share/nodejs/@types/codemirror/addon/search/jump-to-line.d.ts
import '../..';
import '../dialog/dialog';

declare module '../../' {
    interface CommandActions {
        jumpToLine(cm: Editor): void;
    }

    interface EditorConfiguration {
        search?: {
            bottom: boolean;
        } | undefined;
    }
}