Recentemente reduzi o tamanho da barra de título na versão Fedora 24 Gnome 3.20. Basicamente eu quero reduzir o tamanho de cada widget para que o espaço ocupado pelo aplicativo na tela seja reduzido. Qualquer ajuda apreciada.
Tags fedora gnome3 desktop-environment