Few tweaks for GNOME Dock: - moves it top - autohide ---> !reveals under cursor pressure! <--- - shows only favorites apps
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?
User Reviews
Loading reviews…