Mudlet: La barre de défilement ne bouge pas avec le défilement de la molette de la souris/pg

C'est toujours un problème et cela fait partie des bêtes noires que les gens ont avec Mudlet.

Étapes à reproduire :

1. ouvrir mudlet, se connecter à un jeu
2. obtenir du texte dans le tampon de la barre de défilement
3. évitez d'utiliser la barre de défilement pour faire défiler - c'est-à-dire utilisez la molette de la souris ou le trackpad
4. observez que la barre de défilement ne suit pas correctement votre défilement

Confirmé dans Mudlet 3.9, veuillez corriger, cela fait que Mudlet semble cassé

De plus, si vous faites défiler avec votre souris, votre clavier ou toute autre méthode sans barre de défilement, si vous cliquez ensuite sur la barre de défilement, la barre de défilement déplace l'emplacement de la vue vers l'emplacement de la barre de défilement.
IE : Il ignore tous les mouvements non effectués par la barre de défilement.

J'ai publié un correctif pour ce problème dans https://github.com/Mudlet/Mudlet/pull/3186 .
L'ensemble des modifications apportées à ce correctif sont les différences entre le correctif de sélection de texte d'origine et le correctif 1.
Si vous ne voulez pas le correctif https://github.com/Mudlet/Mudlet/issues/612 , n'utilisez pas le correctif 1. Si vous voulez le https://github.com/Mudlet/Mudlet/issues/ 612 , vous pouvez le fusionner sans le correctif de sélection de texte qui est le correctif d'origine. Je suis certain que le changement est suffisamment petit pour que vous puissiez voir les changements entre le correctif de sélection de texte et le correctif de barre de défilement.

Attendez! J'ai supprimé tout le code de la sélection de texte et l'ai placé dans une branche distincte pour https://github.com/Mudlet/Mudlet/pull/3198 . Cela ne devrait pas être fermé car il n'est pas du tout géré par le changement de sélection de texte !

Le problème lié a un joli gif pour voir l'action de ce qui se passe dans Mudlet 4.9