A seleção do nível de API de destino correto no editor de layout (clique no caractere droid verde) solucionou o problema.
Eu estava desenvolvendo um aplicativo usando o SDK do Android 4.1.2 (API 16), mas o editor estava usando vários dados do Android 4.4 (API 19).
Acidentalmente achei que era um problema específico do Linux porque:
-
Eu tinha os SDKs do Android 4.4 (API 19) e do Android 4.1.2 (API 16) instalados no meu Linux Mint
-
Ao testar no meu subpub do Windows XP e no Lubuntu 13.04 Virtual Machine, eu tinha apenas o SDK do Android 4.1.2 (API 16) instalado.