MDN Editor (UI Tweaks)

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

Version vom 24.11.2020. Aktuellste Version

Autor

almaceleste

Bewertungen

0 0 0

Version

0.3.1

Erstellt am

04.05.2020

Letzte Aktualisierung

24.11.2020

Größe

2,5 KB

Lizenz

AGPL-3.0-or-later

Wird angewandt auf

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
source area settings: background color, font color, font family, font size
use the settings menu to change the colors and other on your choice