While not strictly necessary, there's no reason to differ from the
copy in the window-list extension ...
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/142>
(cherry picked from commit f5128e13f2)
While not strictly necessary, there's no reason to differ from the
copy in the window-list extension ...
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/142>
(cherry picked from commit f5128e13f2)