Discussioni MediaWiki:Common.js: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 707:
:::{{ping|Pierpao}} Hai mai usato l'accessorio [[MediaWiki:Gadget-toolbar.js]] (nelle preferenze [[Aiuto:Accessori/Pulsanti della toolbar]]) che avevo scritto a inizio 2015? Solo per farti un esempio dell'interazione che si può avere con il WikiEditor. --[[Utente:Rotpunkt|Rotpunkt]] ([[Discussioni utente:Rotpunkt|msg]]) 15:30, 17 apr 2016 (CEST)
:Il nostro edittools sarebbe facilmente migliorabile evitando di mettere un enorme deserto arancione fra l'assetato contributore e l'oasi del markup. [[Utente:Nemo_bis|Nemo]] 17:15, 17 apr 2016 (CEST)
:::::Si quello del deserto lì è un mistero, ma suppongo sia il frutto di chissà quali chilometriche discussioni perchè o si mette in cima prima di salva oppure se si mette dopo a quel punto se si è convinti che uno legga tutta la pagina tanto vale metterlo in fondo.
| |||