☰

MDN Editor (UI Tweaks)

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

چۆنیەتی دابەزاندن

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

چۆنیەتی دابەزاندن

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

نووسەر
almaceleste
Daily installs
0
Total installs
2
Ratings
0 0 0
وەشان
0.3.1
Created
2020-05-04
Updated
2020-11-24
Size
2.5 KB
مۆڵەت
AGPL-3.0-or-later
Applies to

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