Wikisource:Bar/Archivio/2015.12: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Wim b (discussione | contributi)
Wim b (discussione | contributi)
Riga 224:
Per [[utente:Wim_b|Wim b]]: mi sbagliavo! Monobook si può usare. Per far comparire i vecchi pulsantini al loro posto, in fila sopra il box di edit, occorre andare in Preferenze, Casella di modifica, e disattivare "Abilita barra degli strumenti di modifica avanzata". Provo a scrivere nel mio [[Utente:Alex brollo/monobook.js]] quello che serve per aggiungere pulsantini aggiuntivi (comincio con i miei). --[[User:Alex brollo|Alex brollo]] ([[User talk:Alex brollo|disc.]]) 23:04, 16 nov 2012 (CET)
:Si, sapevo di questa opzione, però c'è un problemino, se l'attivo, mi sparisce la barra di modifica, se la disattivo, mi compare quella di vecotr :D--'''[[utente:Wim_b|Wim b]]''' /[[discussioni utente:Wim_b|t]]  13:54, 18 nov 2012 (CET)
::Alex: posso tentare un suggerimento? chiedendo su irc, mi hanno detto che molto probabilmente, il problema sarebbe
<source lang=javascript>
//pezza per la toolbar della casella di modifica in nsPagina:
//su schermi stretti o con font ingrandito i comandi vanno a capo e quindi escono dal contenitore
mw.loader.using('ext.wikiEditor.toolbar', function () {
$('.wikiEditor-ui-toolbar div').css('height', 'auto');
});
</source>
::Tanto per prova, si potrebbe provare a spostare quel codice nel Vector.js e vedere se cambia qualcosa? tanto per curiosità, magari se funziona ci evitiamo di impazzire.--'''[[utente:Wim_b|Wim&nbsp;b]]'''&nbsp;/[[discussioni utente:Wim_b|t]]&nbsp; 14:21, 18 nov 2012 (CET)
 
== Richiesta di parere ==