Comment augmenter la taille de la police dans Kodi pour la liste des fichiers

Récemment, j'ai construit un appareil de centre multimédia à l'aide de Raspberry Pi 2. J'utilise Arch Linux + Kodi comme logiciel. Une fois branché sur mon téléviseur, j'ai remarqué les très petites polices que Kodi utilise pour les commandes et les informations affichées à l'écran. Bien que je ne me soucie pas beaucoup des commandes (parce que j'utilise mon smartphone pour contrôler Kodi), la taille de la police de la liste des fichiers était terriblement petite. Il était difficile de lire quoi que ce soit sur l'écran de télévision. Voici une façon très simple de augmenter la taille de la police de la liste des fichiers dans Kodi. En utilisant la méthode décrite ci-dessous, vous pouvez modifier la taille de la police de n'importe quel élément de l'interface utilisateur de Kodi.

Voici les paramètres de police par défaut de Kodi :

La liste des fichiers semble OK sur l'écran du PC. Mais sur un téléviseur, c'est beaucoup trop petit. Dans les préférences de Kodi, vous pouvez définir une grande police, cependant, dans mon cas, elle n'était pas assez grande.

Voici une solution qui fonctionne parfaitement avec le skin par défaut, Confluence. En fait, je ne vois aucune raison d'utiliser une autre peau. Confuence a fière allure, fonctionne rapidement et consomme très peu de ressources.
Modifions sa police par défaut.
J'écrirai les instructions pour la version Linux de Kodi, mais cela devrait également fonctionner pour la version Windows de l'application.
À changer la taille de la police de la liste des fichiers dans Kodi, ouvrez le fichier suivant avec votre éditeur de texte préféré :

/usr/share/kodi/addons/skin.confluence/720p/Font.xml

Allez à la ligne 16. Vous y trouverez la chaîne font13 dans la sous-section "Nom". Augmentez la valeur dans la sous-section "Taille" ci-dessous. La valeur par défaut est 20. Changez-le de 20 à 50 :

Maintenant, redémarrez Kodi. Le résultat sera le suivant :

Vous pouvez jouer avec d'autres sections de polices dans le fichier Font.xml pour modifier la taille des autres polices. Si vous ne remarquez aucun changement, assurez-vous de ne pas avoir sélectionné l'option de police "Grande" dans les préférences de Kodi. Il doit être défini sur "Skin default".

C'est ça.