gnome-peek-top-bar-on-fullscreen-extension
gnome-peek-top-bar-on-fullscreen-extension copied to clipboard
Pressure trigger
Some things, like Dash To Dock, require you to "push" onto the screen edge (as in, actively move your mouse directly into the screen edge) to activate. This is useful for possible things that require you to idk click onto the screen edge or something. I haven't actually seen any apps do that for the bottom edge, but i know virt-manager does exactly this for the top - you need to hover the top edge to see the Unfullscreen button, but as it is now, your extension shows the status bar instead. Maybe we can get some kind of push trigger, so user can tap lightly onto the edge to see the virt-manager's things or mash the mouse hard to show the status bar?