Discussion :

[Jipété]

Bonsoir,

depuis le temps que je vis avec ça, aujourd'hui j'ai décidé d'en faire deux copies d'écran et de les monter en un gif, qui vous permettra de bien voir que je n'ai pas d'hallucinations.
Ce que je montre, c'est que d'un coup la police de caractère de l'éditeur de code change, toute seule.

Juste un mot : il y a eu quelques petits changements dans le code que j'ai utilisé, entre les deux copies d'écran, donc certaines lignes ont des différences flagrantes, elles ne comptent pas. Comparez donc ce qui est comparable, c'est-à-dire les lignes identiques, et vous allez voir ce qui m'arrive parfois, d'un coup, sans que je sache pourquoi, et c'est très déstabilisant car ça m'oblige à penser que cet IDE n'est pas fini.
Et ça, ça fait peur...



Par exemple, concentrez votre attention sur la dernière ligne et laissez l'animation gif faire son boulot... Alors, convaincu ?
Et ça ne date pas d'aujourd'hui, loin de là.
Bon, si ça se produisait quand je fais du traitement de texte et du trifouillage de polices, à la rigueur je comprendrais, mais ça n'est absolument pas le cas.

Encore un gag de Lazarus.

[bb84000]

Bonjour Jipété !

C'est très curieux. Si j'ai bien compris, le fait de commenter une ligne modifie la taille de la police ?

J'ai essayé, aussi bien sur Windows et sur Linux Mint, je n'ai pas constaté ça.

As-tu essayé une autre police dans les options de l'éditeur ?

bb84000

[Jipété]

Salut Bernard,

C'est très curieux. Si j'ai bien compris, le fait de commenter une ligne modifie la taille de la police ?

Non, pas du tout, tu as compris de travers, je reprends :
je bossais tranquillement sur mon code (des choses avancent bien) quand tout d'un coup la police dans l'éditeur de texte du code change !

Comme ce n'est pas la première fois que ça m'arrive, cette fois j'ai décidé d'en parler et donc, pour appuyer mon argument, je fais une première copie d'écran de l'éditeur dont l'affichage est modifié par rapport à d'habitude.
Et après un reboot, quand tout est rentré dans l'ordre, je fais une seconde copie d'écran, mais entre ces deux copies j'avais continué à bosser sur le code, donc certaines lignes ont un peu changé au niveau des textes qui s'y trouvent, et d'autres pas du tout comme par exemple la dernière.

Plus qu'à assembler ces deux images en un gif et voilà.

Et je ne sais pas ce qui génère ce défaut.

[bb84000]

Bonjour !

Non, pas du tout, tu as compris de travers, je reprends :
je bossais tranquillement sur mon code (des choses avancent bien) quand tout d'un coup la police dans l'éditeur de texte du code change !

Ah, oui, je n'avais pas du tout compris ça. Eh bien, c'est encore plus curieux, je peux te dire que je ne l'ai jamais constaté avec Lazarus sous Windows, et non plus sous Linux Mint, mais là, je ne bosse pas des journées dessus donc je ne peux pas être aussi affirmatif.

bb84000

[Guesset]

Bonjour,

Je pense que le bug est peut être chaise clavier . Un petit coup inopportun de CTRL + molette souris modifie la taille de la police (zoom). Dans la plupart des cas cela augmente à la fois hauteur et longueur de ligne mais pour certaines valeurs la longueur n'est pas altérée par une modification unitaire.

Certaines souris ont une molette débrayable (avec un mode non cranté). Dans ce cas, si la molette n'est pas parfaitement équilibrée, un mouvement un peu brusque de la souris peut la faire légèrement tourner sans être manipulée. Si par malheur la touche CTRL est enfoncée à ce moment là ...

Il est aisé de s'en assurer en faisant l'opération inverse.

Salutation.

[Jipété]

Salut,

Je pense que le bug est peut-être chaise clavier .

Bien vu ! Je viens de tester, effectivement ça reproduit ce qu'on voit dans le gif, et c'est très curieux car ce n'est pas la première fois que ça se produit.

Bon, je vais surveiller ma touche Ctrl-gauche, la -droite semblant impossible à atteindre sans lâcher la souris.

Merci,