Repository navigation
Enlever le plancher de lisibilité du nom - #723
Merged
Merged
Conversation
Décision du mainteneur : « enlève le plancher, on verra bien. » Ce plancher (7 pt) était mon jugement, pas une règle du C#, et il ne tenait plus une fois mesuré : le nom vaut la moitié de la bordure du haut, donc sur tout bureau multi-écrans dans une fenêtre ordinaire il tombe entre 1 et 5 points. Ce n'était pas une soupape rare, il décidait du cas courant — et c'est la capture de référence `map-two-screens` de #720 qui l'a montré : deux écrans à 900×600, aucun nom. Le nom est maintenant dessiné à la taille que l'arithmétique donne, ce qui remet ce portage exactement sur la règle Avalonia. Il reste une garde, et elle est arithmétique et non un jugement : un écran dont la dalle atteint le haut de son propre contour n'a pas de plastique où imprimer. Une taille de police nulle n'est pas un petit nom, c'est l'absence de taille. C'est le seul cas où `name_height` vaut encore `None`, et les deux tests qui s'appuyaient sur « trop petit pour être lu » ont été refaits là-dessus plutôt que supprimés : ce qu'ils vérifiaient — qu'un écran sans nom reste cliquable, que le cadre survit à l'absence du nom — est toujours vrai et toujours utile. Trois références régénérées ; on y voit des noms petits et présents. Un `.gitignore` ajouté à côté d'elles : un `git add -A` après un essai rouge committait sinon les `*.new.png` / `*.diff.png` / `*.old.png` qu'une comparaison ratée laisse derrière elle. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Décision du mainteneur : « enlève le plancher, on verra bien. »
Ce plancher (7 pt) était mon jugement, pas une règle du C#, et il ne tenait plus une fois mesuré : le nom vaut la moitié de la bordure du haut, donc sur tout bureau multi-écrans dans une fenêtre ordinaire il tombe entre 1 et 5 points. Ce n'était pas une soupape rare — il décidait du cas courant.
Et c'est la capture de référence
map-two-screensde #720 qui l'a montré : deux écrans, fenêtre de 900×600, aucun nom. Le test d'arbre voisin ne l'avait jamais vu parce qu'il utilise 1200×900.Le nom est maintenant dessiné à la taille que l'arithmétique donne, ce qui remet ce portage exactement sur la règle Avalonia.
Ce qui reste, et pourquoi ce n'est pas un plancher déguisé
Une seule garde : un écran dont la dalle atteint le haut de son propre contour n'a pas de plastique où imprimer. Une taille de police nulle n'est pas un petit nom, c'est l'absence de taille. C'est le seul cas où
name_heightvaut encoreNone.Les deux tests qui s'appuyaient sur « trop petit pour être lu » ont été refaits sur ce cas plutôt que supprimés : ce qu'ils vérifiaient — qu'un écran sans nom reste cliquable, que le cadre survit à l'absence du nom — est toujours vrai et toujours utile. Et un test neuf dit l'inverse du plancher : un nom d'un vingtième de point est laid out comme les autres, demandé par l'arbre et pas seulement à l'arithmétique.
Les références
Trois régénérées ; on y voit des noms petits et présents (108 pixels de différence sur la carte — c'est bien le texte et rien d'autre).
Un
.gitignoreajouté à côté d'elles : ungit add -Aaprès un essai rouge committait sinon les*.new.png/*.diff.png/*.old.pngqu'une comparaison ratée laisse derrière elle. Trouvé en faisant exactement ça.Ce qu'on accepte en connaissance de cause
Sur un bureau à six écrans ou à bordures fines, le nom sera entre 1 et 5 points : présent et à peu près illisible. C'est ce que l'app livrée fait déjà. Si ça se révèle pénible à l'usage, la troisième issue reste ouverte — mesurer le nom autrement, une fraction du cadre bornée par la bordure — mais elle demanderait d'inventer une règle, ce qui est d'un autre ordre que d'en retirer une.
🤖 Generated with Claude Code