mpdeimos/gnome-shell-remove-dropdown-arrows — pull request #1 by acabal (2014-08-11 23:42:15+00:00)
Title: Check for up arrow character

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