Hide top panel except in overview. For those who don't need a hot corner (e.g. running GNOME 40+ with three fingers gestures). Very very light extension. No options, no bugs. ;-)
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?
| Version | Status | Shell Versions |
|---|---|---|
| 2 | Active |
3.36
3.38
40
41
42
|
| 1 | Active |
3.36
3.38
40
41
|
User Reviews
Loading reviews…