« 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();

                // Annotation pour le style "petit"
                const annotation = surfaceModel.getAnnotationFactory().create('textStyle/small');

                // Vérifie si l'annotation est déjà appliquée
                if (fragment.hasAnnotation(annotation)) {
                    fragment.removeAnnotation(annotation); // Retire le style si déjà appliqué
                } else {
                    fragment.addAnnotation(annotation); // Ajoute le style sinon
                }
            }
        }
    });
});