« MediaWiki:Common.js » : différence entre les versions

Version du 27 décembre 2024 à 13:20

/* Tout JavaScript présent ici sera exécuté par tous les utilisateurs à chaque chargement de page. */
mw.loader.load('/maps/leaflet/leaflet.js', 'text/javascript');

mw.loader.using('ext.visualEditor.desktopArticleTarget.init').then(function () {
    $(document).on('keydown', function (e) {
        // Vérifie si Ctrl + Shift + S est pressé
        if (e.ctrlKey && e.shiftKey && e.key.toLowerCase() === 's') {
            e.preventDefault(); // Empêche l'action par défaut du navigateur

            // Récupère l'instance active de VisualEditor
            const veInstance = ve.init.target.getSurface();
            if (veInstance) {
                const surfaceModel = veInstance.getModel();
                const fragment = surfaceModel.getFragment();

                // Définir l'annotation "petit" (small)
                const annotation = new ve.dm.TextStyleAnnotation({
                    type: 'textStyle/small'
                });

                // Appliquer ou retirer l'annotation selon l'état actuel
                if (fragment.hasAnnotation(annotation)) {
                    fragment.toggleAnnotation(annotation);
                } else {
                    fragment.addAnnotation(annotation);
                }
            }
        }
    });
});