☰

MDN Editor (UI Tweaks)

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

2020-06-01 يوللانغان نەشرى. ئەڭ يېڭى نەشرىنى كۆرۈش.

ئاپتورى
almaceleste
باھا نومۇرى
0 0 0
نەشرى
0.3.0
قۇرۇلغان ۋاقتى
2020-05-04
يېڭىلانغان ۋاقتى
2020-06-01
Size
2.5 KB
ئىجازەتنامىسى
AGPL-3.0-or-later
قوللايدىغىنى

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.