disable-top-bar-on-pop_os Disable the top bar when a window takes the space. Go here to enable the Gnome extension.