search

mpdeimos / gnome-shell-remove-dropdown-arrows

Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.
https://extensions.gnome.org/extension/800/remove-dropdown-arrows/
GNU General Public License v3.0
52 stars 11 forks source link

Shell 3.14 support #2

Closed evfool closed 10 years ago

evfool commented 10 years ago

Adding 3.14 as supported version, as this change is enough to make the extension work with 3.14.

mpdeimos commented 10 years ago

Thanks, had no chance to test 3.14 as it is not in the stable arch repository.