Discussioni MediaWiki:Gadget-tradLink.js: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→#wpTextbox1: re |
→#wpTextbox1: re |
||
Riga 5:
::{{ping|Daimona Eaytoy}} Ah, ho capito! Quando apro l'editor in effetti appare, e l'accessorio funziona solo se si disabilita l'evidenziazione della sintassi. Per il momento può andar bene così, a meno che non ti venga un modo per perfezionarlo. Grazie mille!
::Riguardo invece il settaggio del gadget (Alt+0), perché lo mettiamo in ascolto solo nel riquadro #wpTextbox1? Non si potrebbe attivarlo sull'intero document, in modo che le impostazioni siano modificabili in ogni momento? --[[User:Horcrux|Horcrux]] ([[User talk:Horcrux|msg]]) 09:23, 26 mag 2022 (CEST)
:::{{ping|Horcrux}} In teoria per supportare CodeMirror occorre aggiungere il seguente codice:
<syntaxhighlight lang="js">
mw.hook( 'ext.CodeMirror.switch' ).add( ( enabled, $editor ) => {
// ...
} );
</syntaxhighlight>
:::Il parametro $editor è la textarea usata per l'evidenziazione della sintassi, e dovrebbe essere sufficiente installare i vari listener su quella. Sul rendere le impostazioni sempre modificabili, direi che non c'è problema. --[[Utente:Daimona Eaytoy|<span style="color: #696969; font-weight: bold; font-family: Segoe Print;">Daimona Eaytoy</span>]] [[Discussioni Utente:Daimona Eaytoy|<span style="color: black; font-size: small; font-family: cursive, serif;">(Scrivimi!)</span>]] 12:18, 26 mag 2022 (CEST)
| |||