« MediaWiki:Common.js » : différence entre les versions
Contenu supprimé Contenu ajouté
simplification/modernisation avec attribut "textContent" implémenté depuis lors |
cartes géolocalisation : un truc qui me démangeait depuis longtemps… "grisage" du lien au lieu de le masquer, ce qui permet de beaucoup mieux s'y retrouver ; merci la nouvelle propriété "pointer-events" qui simplifie la tâche, noter que ça ne désactive pas au clavier, mais pas grave car ça ne fait que générer de nouveau le même affichage |
||
Ligne 403 :
ToggleLinksDiv.appendChild(Li);
if (a === (Boxes.length - 1)) {
Li.style.
Li.style.pointerEvents = 'none';
} else {
ThisBox.style.display = 'none';
Ligne 431 ⟶ 432 :
$( Links ).find( 'a' ).each( function ( _, thisToggleLink ) {
if (thisToggleLink.id === Link.id){
thisToggleLink
thisToggleLink.style.pointerEvents = 'none';
} else {
thisToggleLink
thisToggleLink.style.pointerEvents = '';
}
} );
|