Guillotine is a gnome extension designed for efficiently carrying out executions of commands from a customizable menu. Simply speaking: it is a highly customizable menu that enables you to launch commands and toggle services.
GNU Affero General Public License v3.0
28
stars
0
forks
source link
[Feature Request] Search capability on the menu #1
if i have a big menu, i would like to be able to search it AND to scroll - imagine 10k items...
it can be as-i-type filter which only the relevant items will show in the menu
it can be in a dedicated search field which can be always on top