Principal Linux Comment augmenter la taille de la police dans Kodi pour la liste de fichiers

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



Laisser une réponse

Récemment, j'ai construit un périphérique de centre multimédia en utilisant Raspberry Pi 2. J'utilise Arch Linux + Kodi comme logiciel. Une fois branché à 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 (car 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 du téléviseur. Voici un moyen très simple de augmenter la taille de la police de la liste de 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.

Publicité


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

score de police par défautLa liste des fichiers semble correcte 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.

cómo hacer una captura de pantalla de una historia de Snapchat

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.
Changeons 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 de fichiers dans Kodi , ouvrez le fichier suivant avec votre application d'édition de texte préférée:

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

Allez à la ligne 16. Là, vous 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. Modifiez-la de 20 à 50:

descargar windows 10 2004

code changer la taille de la policeMaintenant, redémarrez Kodi. Le résultat sera le suivant:

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

paramètre par défaut du skin kodi

C'est ça.

Des Articles Intéressants

Choix De L'Éditeur

Désactiver l'accès des applications aux informations de compte dans Windows 10
Désactiver l'accès des applications aux informations de compte dans Windows 10
Les versions récentes de Windows 10 peuvent être configurées pour autoriser ou refuser l'accès du système d'exploitation et des applications à votre calendrier. Il est possible de personnaliser les applications qui pourront traiter ses données.
Désactiver le bouton Smiley dans Internet Explorer sous Windows 10
Désactiver le bouton Smiley dans Internet Explorer sous Windows 10
Voici comment désactiver le bouton smiley visible sur la barre d'outils du navigateur Internet Explorer 11 dans Windows 10 avec un ajustement du registre.
Désactivez les nouvelles animations dans Windows 10
Désactivez les nouvelles animations dans Windows 10
Décrit comment se débarrasser des nouvelles animations de fenêtres fantaisie dans Windows 10
Comment remplacer la batterie dans les AirTags
Comment remplacer la batterie dans les AirTags
Les Apple AirTags sont des dispositifs de suivi sans fil - de la taille d'un quart environ, qui nous aident à trouver les choses que nous égarons facilement - comme nos clés de maison et notre portefeuille ! Puisqu'il fonctionne sur batterie, il nécessite une batterie de travail pour fonctionner comme
Xiaomi Redmi Note 4 - Comment changer le fond d'écran
Xiaomi Redmi Note 4 - Comment changer le fond d'écran
Si vous en avez assez de regarder votre fond d'écran par défaut, pourquoi ne pas le changer ? Changer votre fond d'écran est facile sur votre appareil Xiaomi Redmi Note 4. Vous pouvez personnaliser votre écran d'accueil, votre écran de verrouillage ou les deux pour donner à votre
Devriez-vous acheter une tablette ou un ordinateur portable ?
Devriez-vous acheter une tablette ou un ordinateur portable ?
Découvrez les différences entre les tablettes et les ordinateurs portables pour déterminer lequel répondra le mieux à vos besoins informatiques mobiles.
Comment obtenir des cartes dans Hearthstone
Comment obtenir des cartes dans Hearthstone
Les nouveaux joueurs sont généralement limités par leur collection dérisoire lorsqu'ils créent un compte Hearthstone. Cependant, il ne faut pas beaucoup de temps et d'efforts pour obtenir quelques packs et commencer à jouer de manière plus compétitive. Même F2P (Free-to-play)