No XFCE, como evitar que novas janelas sejam cobertas pelo painel superior
Estou usando o Ubuntu 17.10, instalei o pacote xubuntu-desktop e estou usando o XFCE como meu ambiente de desktop. Eu aumentei a altura do painel superior do padrão de 24 pixels para 30 pixels. Eu usei o diálogo de configuração de Espaços de Trabalho para configurar uma margem superior de 30 pixels, que a caixa de diálogo promete não será usada para colocar uma janela. No entanto, às vezes, uma nova janela que abro não respeita a margem. Por exemplo, quando eu inicio o editor de colchetes, seu canto superior esquerdo é colocado em (0, 0), resultando no topo sendo escondido pelo painel (veja a imagem). (Também não respeitará a margem esquerda, se eu definir um.)
Existe alguma configuração que eu possa ajustar para corrigir isso? Ou isso é apenas devido a parênteses e outros programas que se comportam dessa maneira, não respeitando as configurações de margem de espaços de trabalho?
