☰

MDN Editor (UI Tweaks)

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

Versão de: 25/05/2020. Veja: a última versão.

Autor
almaceleste
Avaliações
0 0 0
Versão
0.2.2
Criado
04/05/2020
Atualizado
25/05/2020
Tamanho
1,79 KB
Licença
AGPL-3.0-or-later
Aplicável 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。