☰

MDN Editor (UI Tweaks)

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

Versión del día 01/06/2020. Echa un vistazo a la versión más reciente.

Autor
almaceleste
Calificaciones
0 0 0
Versión
0.3.0
Creado
04/05/2020
Actualizado
01/06/2020
Tamaño
2.5 KB
Licencia
AGPL-3.0-or-later
Funciona en

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.