Quando eu instalei o Mint depois de limpar o Ubuntu, eu remontei minha partição de /home
do Ubuntu. Assim, as configurações do tema para o Mint não estavam disponíveis. Então eu tive que ir para Preferences -> Cinnamon Settings -> Themes
para mudar para um tema diferente. Agora, eu tenho barras de título mais agradáveis.