Revisione Wiki: differenze tra le versioni

nessun oggetto della modifica
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 112: Riga 112:


'''Patch a WikEd'''<br/>
'''Patch a WikEd'''<br/>
Una patch da applicare al file <code>~/.mozilla/firefox/qualcosa.default/gm_scripts//wiked/wiked.user.js</code> per poter applicare i tag <code>pre</code> e <code>code</code> cliccando su due pulsanti. La patch funziona con la versione 0.9.90n di WikEd. La versione utilizzata si può leggere nello stesso file <code>wiked.user.js</code>.
Una patch da applicare al file <code>~/.mozilla/firefox/qualcosa.default/gm_scripts/wiked/wiked.user.js</code> per poter applicare i tag <code>pre</code> e <code>code</code> cliccando su due pulsanti. La patch funziona con la versione 0.9.90n di WikEd. La versione utilizzata si può leggere nello stesso file <code>wiked.user.js</code>.
<pre>
<pre>
--- wiked.user.js    2010-04-06 20:39:34.367421483 +0200
--- wiked.user.js    2010-04-06 20:39:34.367421483 +0200
6 999

contributi