Hide Top bar extension for gnome shell to make more space
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool