OK, descobri que poderia ser obtido pelo GNOME Shell Extension e escrevi uma extensão para esse propósito.
A extensão e as instruções de como usá-lo estão nesta página do blog (Possui interface do usuário em chinês , mas este artigo está escrito em inglês, então deve estar bem, eu acho).