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

Check for up arrow character #1

Closed acabal closed 10 years ago

acabal commented 10 years ago

In case an extension has moved the top bar to the bottom (like https://extensions.gnome.org/extension/828/bottom-panel/)

mpdeimos commented 10 years ago

Thanks for contributing this enhancement. Actually this also works with GS 3.12, if bottom panel extension is left as-is (wanted to test before merge).