Desde o Ubuntu 18.04, as janelas desativadas, por exemplo, gedit se eu mudar para outra janela, tenho alguma sobreposição cinza. Se eu instalar gnome-tweaks (como descrito em Como desabilitar animações no Ubuntu 17.10 ou 18.04? ), eu posso desabilitar isso definindo o tema de Ambience para High Contrast (ou High Contrast Inverse).
Como gosto do Ambience normal, gostaria de mantê-lo, mas não quero que gedit fique acinzentado (também seria bom se nada ficasse acinzentado). Existe uma maneira de configurar isso?
De acordo com o link , eu diria que isso pode ser feito por sudo gedit /usr/share/gnome-shell/theme/gdm3.css e editar parte de o estilo css, mas não tenho idéia de qual deles. Se este é o caminho certo, qual seria a propriedade para editar?