[go: up one dir, main page]

Rename 'Effects' group to 'Extensions'

Users don't expect extensions to be called Effects in the menu, this term is mostly an internal caligorisation of the type of extensions.

Putting no-prefs extensions in their own category.

Fixes #3346 (closed)

Merge request reports

Loading