-
Florian Müllner authored
Those functions originated in gnome-shell-extension's Convenience module which is copied by almost every extension out there. Let's make people's life just a little bit easier by including the code ourselves. GNOME/gnome-shell!150
93425b05