Moves the Applications button at the top of the Dash.
'Apps On Top' is libre software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or newer.
You should have received a copy of the GNU General Public License along with this file. If not, see http://www.gnu.org/licenses/.
It's on extensions.gnome.org : https://extensions.gnome.org/extension/3004/apps-on-top/
To install, simply download as zip and unzip contents in ~/.local/share/gnome-shell/extensions/apps-on-top@RaphaelRochet
I am not the original creator of this extension. I forked it from https://github.com/karlitos/AppsOnTop who forked from https://github.com/mrpdaemon/AppsOnTop who forked from (now unavailable) https://github.com/obsidien/AppsOnTop