☰

MDN Editor (UI Tweaks)

tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)

Versione datata 01/06/2020. Vedi la nuova versione l'ultima versione.

Autore
almaceleste
Valutazione
0 0 0
Versione
0.3.0
Creato il
04/05/2020
Aggiornato il
01/06/2020
Dimensione
2,5 KB
Licenza
AGPL-3.0-or-later
Applica a

MDN Editor (UI Tweaks)
tweaks for the UI of the MDN Editor.
the left panel with the Source and Hide buttons is changed to position sticky to prevent sliding above.
the comment section is changed to be more compact and position absolute thus you could fill it while you edit the article.
so the useful things are always at hand.

长期地址
遇到问题？请前往 GitHub 提 Issues。