Version 11

Adds support for gnome shell 3.38, and removes support for older versions (still supported by version 10).

Version 10

News:

• saner way to detect corners/widgets
• fixed bug #3
• fixed bug #2

Version 8

Compatible with at least GNOME Shell 3.32/3.34/3.36.

Features:

• change background RGBA color
• option to use default text color / use custom RGBA
• change transition duration
• change topbar distance to trigger transition
• reset preferences

Without reloading extension.

First ~stable release.