NOT MAINTAINED ANYMORE Top dock for GNOME 40+. Hover top panel and GNOME Shell dash appears without overview. Scroll on dock or panel changes workspace. Preferences UI. Does use native GNOME Shell Dash. Very light extension. Please report bugs through GitHub.
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…