Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
========================================== gnome-shell-extension-launch-search-result ========================================== When you select an application in search results, * Press Menu, the menu which popups on right-click, will popup. * Press Shift-Enter, a new window of the application will open at a new workspace, just as middle-click. * Press Ctrl-Enter, a new window of the application will open at current workspace, just as Ctrl with left-click. Installation ============ Copy to ~/.local/share/gnome-shell/extensions or /usr/share/gnome-shell/extensions/, and then restart GNOME Shell (Alt+F2, r, Enter). License ======= This extension is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.