Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The extension state naming has changed from gnome shell 45 to gnome shell 46, so the code to notify margins to DING wasn't being able to detect when an extension was active, and so it didn't prevent to put icons below the dock. This patch fixes it.
- Loading branch information