Taille de la police par défaut sur Linux

Bonjour,

En faisant passer mon application wxPython de Windows vers LINUX (Ubuntu), quelle mauvaise surprise !La taille de la police par défaut est bien plus grande que sur Windows. Résultat : les contrôles trop petits... Mais je ne me vois pas modifier la font de tous les contrôles de l'application...

Sauriez-vous comment diminuer la taille de la police par défaut avec wxPython ?

Note : La commande wx.SystemSettings permet de récupérer la taille de la police par défaut, mais pas de la modifier...

Merci pour votre aide.

>Bonjour,

Ah, tout de même, je n'aurai pas été le seul à avoir eu un jour ce problème ! C'est bien je me sens moins seul :mouarf:.

Je suis sous Mandriva 2009.1.

J'ai longtemps été confronté à ce souci. Il est possible de modifier la taille de la police (ainsi que les autres paramètres) avec la commande SetFont(). Mais je ne te conseille pas d'en passer par là. En effet, du coup, tu vas te retrouver avec une taille de police qui sera différente de la taille de la police système. Ton appli va faire tache dans un tel environnement. De plus, tu vas indisposer l'utilisateur, car s'il se concocte un thème perso, avec une taille de police personnalisée, ton appli ne réagira pas comme il le voudra car la taille de la police y aura été codée en dur.

Je te conseille donc plutôt, non pas de jouer sur la taille du texte, mais d'imposer à tes contrôles qu'ils adaptent leurs dimensions en fonction de leur environnement - c'est ce que je fais (et, cela va sans dire, de développer simultanément sous les deux OS).

Exemple : tu peux imposer à un TextCtrl() qu'il prenne une longueur fixe égale à celle qui serait nécessaire pour y mettre le texte "gnagnagna". Ainsi, ton TextCtrl() aura une longueur satisfaisante... quelle que soit la taille de la police.

Hello,
la classe wx.Window possède une fonction SetFont qui, je cite, "Sets the font for this window. However this font is used by any standard controls for drawing their text as well as by wxWindow::GetTextExtent()."
Pas testé mais ça à l'air pas mal.

Bonjour,

Oui... mais non. Désolé, pas d'accord :evil:. En faisant, ça on impose une taille de police à l'utilisateur différente de la taille de la police système. Supposez que vous imposiez une taille très petite alors que vous avez un utilisateur qui a des problèmes de vue, veut avoir des gros caractères, et a paramétré son système en conséquence ?! Le problème n'est d'ailleurs pas circonscrit à GNU/Linux : sous Windows aussi on peut changer la taille des caractères utilisés par le système.

A mon sens, ce n'est donc pas à la taille de la police de s'adapter à la taille du widget - c'est pour ça que j'ai déconseillé l'emploi de SetFont() dans un tel contexte - mais au contraire à la taille du widget de s'adapter à la taille de la police - ce qui se fait aisément avec GetTextExtent() et SetSize().