MDN Editor (UI Tweaks)

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

Aŭtoro
almaceleste
Ĉiutagaj instaloj
0
Tutaj instaloj
2
Ratings
0 0 0
Versio
0.3.1
Kreita
2020/05/04
Ĝisdatigita
2020/11/24
Licenco
AGPL-3.0-or-later
Aplikiĝas al

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