Mudlet: La barra de desplazamiento no se mueve con la rueda del mouse / desplazamiento de páginas

Esto sigue siendo un problema y está a la altura de las cosas que la gente tiene con Mudlet.

Pasos para reproducir:

1. abrir mudlet, conectarse a un juego
2. obtener algo de texto en el búfer de la barra de desplazamiento
3. evite usar la barra de desplazamiento para desplazarse, es decir, use la rueda del mouse o el trackpad
4. observe que la barra de desplazamiento no sigue correctamente su desplazamiento

Confirmado en Mudlet 3.9, corríjalo, esto hace que Mudlet parezca roto

Además, si se desplaza con el mouse, el teclado o cualquier método que no sea la barra de desplazamiento, si luego hace clic en la barra de desplazamiento, la barra de desplazamiento movió la ubicación de la vista a la ubicación de la barra de desplazamiento.
IE: Ignora cualquier movimiento no realizado por la barra de desplazamiento.

He publicado una solución para este problema en https://github.com/Mudlet/Mudlet/pull/3186 .
Todos los cambios para esta corrección son las diferencias entre el parche de selección de texto original y el parche 1.
Si no desea la corrección https://github.com/Mudlet/Mudlet/issues/612 , no use el parche 1. Si desea la https://github.com/Mudlet/Mudlet/issues/ 612 , puede fusionarlo sin la corrección de selección de texto, que es el parche original. Estoy seguro de que el cambio es lo suficientemente pequeño como para que pueda ver los cambios entre la corrección de selección de texto y la corrección de la barra de desplazamiento.

¡Esperar! Eliminé todo el código de la selección de texto y lo coloqué en una rama separada para https://github.com/Mudlet/Mudlet/pull/3198 . ¡Esto no debe cerrarse ya que no se maneja en absoluto con el cambio de selección de texto!

El problema vinculado tiene un bonito gif para ver la acción de esto sucediendo en Mudlet 4.9