search

Shihira / gnome-extension-quicktoggler

DEPRECATED: Switched to KDE, so goodbye friends. Toggling services, launching apps in one click.
https://extensions.gnome.org/extension/1077/quick-toggler/
40 stars 9 forks source link

Option to hide "filter" field #7

Closed rafaelmardojai closed 7 years ago

rafaelmardojai commented 7 years ago

This can be a nice feature... And thanks for the great job.

Shihira commented 7 years ago

@mardojai

Hi. Got quite surprised hearing you do not like the filter. It occupies too much space to you? It is a simple thing to add an option of hiding it. I will soon have this done.

Thanks for your feedback.