Wikisource:Bar/Archivio/2021.08: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Nuovo OCR: conflitto con eis: nuova sezione |
|||
Riga 299:
Naturalmente si tratta di un problema di cui, probabilmente, nessuno può accorgersi (eis è una stranezza itsourciana) e non possiamo pretendere la correzione; forse c'è modo di risolvere per conto nostro, forse no. Io non sono riuscito a risalire allo script che muove il sistema e quindi.... per ora segnalo e rinuncio. Pingo {{ping|Ruthven}} che ha partecipato [https://meta.wikimedia.org/wiki/Talk:Community_Tech/OCR_Improvements alla discussione sul nuovo OCR]. --[[User:Alex brollo|Alex brollo]] ([[User talk:Alex brollo|disc.]]). 16:37, 22 ago 2021 (CEST)
:{{ping|Alex brollo}} Uh! non avevo notato! In effetti, è complicato chiedere una modifica ad uno script globale per una peculiarita locale. Quello che potremmo fare è, quando si usa eis, sostituire il pulsante del nuovo OCR con una chiamata al javascript specificando il numero di pagina corrente (sotto eis). Alex, se non hai il tempo di risolvere, magari a settembre butto un occhio o chiedo agli sviluppatori (i quali, fra l'altro, sono pagati solamente part-time per dedicarsi a Wikisource; non sarebbe male trovare i fondi per convincere la Foundation a mettere uno sviluppatore a tempo pieno sul nostro progetto). --<span style="font-family:Times; color:#219">'''[[Utente:Ruthven|Ruthven]]'''</span> <span style="color:#0070EE"><small>([[User talk:Ruthven|<span style="color:#101090">msg</span>]])</small></span> 21:14, 22 ago 2021 (CEST)
| |||