GitHub repository: rguihard/web-search-dialog
Primary language: JavaScript
Description: GNOME Shell extension. Search the web directly from Gnome Shell.