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

Version du 27 décembre 2024 à 13:21

/* 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

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

                if (fragment) {
                    // Appliquer ou basculer le style "petit"
                    fragment.changeAttributes({
                        'text-style': fragment.getAttribute('text-style') === 'small' ? null : 'small'
                    });
                }
            }
        }
    });
});