Existe-t-il une préférence de taille de police accessible à l'utilisateur ?

Jetez un coup d'œil à " Taille de la police (pour les utilisateurs de Root) " sur le marché. Il coûte 1,36 $ et ne fonctionne qu'avec les téléphones enracinés, mais il prétend le faire :

"agrandit/diminue globalement la taille du texte dans toutes les apps (Email, SMS, Cartes, Accueil, Météo, Calendrier, Widgets, ...)"

Les critiques ne sont pas très bonnes mais ça vaut le coup d'essayer.

Une autre option (très limitée, car elle implique des modifications de la plate-forme) consiste à modifier l'adresse de l'utilisateur.

./frameworks/base/core/java/android/content/res/Configuration.java

fichier.

Il faut y aller :

-Créer une paire setter/getter pour obtenir la valeur de la police.

-Changer le point où le fichier obtient la valeur. J'ai changé la méthode

public void setToDefaults(){
  //I set the class member to the desired value trough my getter ( getFontScale )
  fontScale= this.getFontScale();
  ...
  ...
}

-Initialiser le membre de la classe à la valeur stockée :

   //This is the class member ( previouslly not initialized. Now i set it´s value trough my getter )
   public float fontScale= this.getFontScale();

De cette façon, la police de chaque application sera initialement réglée sur la valeur enregistrée.

ps : Vous devriez aussi créer une interface dans l'apk des paramètres Android, sinon votre police ne commencerait qu'avec une valeur fixe.

Je peux donner plus de détails si nécessaire.

El Pièces de rechange Plus L'application (gratuite) fonctionne sur ma tablette Honeycomb (Asus Transformer) dans toutes les applications.

Toutefois, comme indiqué dans votre question, cela ne fonctionne que si le développeur a utilisé une technique spécifique pour spécifier les tailles de police dans son application. Les tailles doivent être spécifiées en unités "sp" pour que cette technique soit efficace.