Saturday, December 02, 2023

Greasemonkey 4.12 Release

 The entire list of bugs handled in this release is also available via the 4.12 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version).

New features:

  • Ability to edit text @resource files. (#2733)
  • Support for Firefox on Android. (#3173)

Fixed bugs:

  • Code highlighting for newer Javascript features. (#3115)
  • An invalid user @match could break opening the monkey menu. (#3171)
  • Add a scroll bar when too many menu commands are registered to fit on one screen. (#3177)