Estou tendo um problema com os temas do GTK. Eles simplesmente não parecem funcionar. As bordas da janela não são renderizadas corretamente e os itens de menu não parecem ter bordas.