Dash to Dock Gnome Shell extension is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.
Looking for a desktop-based app launcher for GNOME Shell? Check out Search Light, whose developer describes it as “…a Gnome Shell extension that takes the apps search widget out of Overview. Like the ...
No themed Icons gnomeTheme.noThemedIcons Use default Firefox icons instead of the included icons. Hide redundant WebRTC indicator since GNOME provides their own privacy icons in the top right. Hide ...