Esta é uma resposta parcial, já que não sou usuário do Mint ou do Cinnamon.
A aparência geral da GUI no Linux é principalmente determinada por duas coisas:
-
O tema da biblioteca de widgets (aka. toolkit), que geralmente é basicamente o GTK. "Principalmente", porque na verdade o kit de ferramentas usado por um aplicativo é determinado pelo próprio aplicativo, mas o mais comum é o GTK. O DE (ambiente de área de trabalho) inclui um monte de aplicativos próprios e todos eles usarão o mesmo kit de ferramentas; Cinnamon é um DE baseado em GTK. No entanto, tenha em mente que é possível executar aplicativos que não usam o GTK. Nesse caso, eles provavelmente não corresponderão ao tema.
A biblioteca de widgets é responsável pelo material dentro das bordas da janela. Existem várias maneiras de mudar isso, DE incluirá um (que você evidentemente encontrou).
-
O tema usado pelo gerenciador de janelas. O gerenciador de janelas é uma camada abaixo do DE, e determina como as janelas se parecem e se comportam. Eles também usam temas, mas não estão relacionados a nenhum tema de widget. Ao contrário do kit de ferramentas de widgets, a janela não é determinada por aplicativo e, portanto, a borda, a barra de título etc. aparecerão da mesma forma, independentemente disso.
DE geralmente tem uma maneira de alterar o tema do gerenciador de janelas também, mas provavelmente será separado do tema do widget. No KDE, por exemplo, o nº 1 é o "Tema da área de trabalho" e o nº 2 é o "Decorações da janela". Então você quer procurar uma distinção desse tipo; uma pesquisa on-line rápida para "tema de janela de mudança de canela de hortelã de linux" transformou isto , que menciona as bordas da janela, etc., em contraste com o tema GTK.