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

Version du 27 décembre 2024 à 13:19

/* 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 surface = veInstance.getModel();
                const fragment = surface.getLinearFragment();

                // Applique ou bascule le style "small" sur la sélection
                fragment.toggleAnnotation('textStyle/small');
            }
        }
    });
});