Mudlet: A barra de rolagem não se move com a roda do mouse / rolagem da página

Isso ainda é um problema e está lá em cima com as irritações que as pessoas têm com Mudlet.

Passos para reproduzir:

1. abrir mudlet, conectar-se a um jogo
2. pegue algum texto no buffer da barra de rolagem
3. evite usar a barra de rolagem para rolar - ou seja, use a roda do mouse ou o trackpad
4. observe que a barra de rolagem não segue corretamente sua rolagem

Confirmado no Mudlet 3.9, corrija, isso faz o Mudlet parecer quebrado

Além disso, se você rolar com o mouse ou teclado, ou qualquer outro método que não seja da barra de rolagem, se você clicar na barra de rolagem posteriormente, a barra de rolagem moverá o local da visualização para o local da barra de rolagem.
IE: ignora todos os movimentos não realizados pela barra de rolagem.

Emiti uma correção para este problema em https://github.com/Mudlet/Mudlet/pull/3186 .
Todas as alterações para esta correção são as diferenças entre o patch de seleção de texto original e o patch 1.
Se você não quiser a correção https://github.com/Mudlet/Mudlet/issues/612 , não use o patch 1. Se você quiser a correção https://github.com/Mudlet/Mudlet/issues/ 612 correção, você pode mesclá-lo sem a correção de seleção de texto que é o patch original. Tenho certeza de que a mudança é pequena o suficiente para que você possa ver as mudanças entre a correção da seleção de texto e a correção da barra de rolagem.

Esperar! Removi todo o código da seleção de texto e coloquei-o em um branch separado para https://github.com/Mudlet/Mudlet/pull/3198 . Isso não deve ser fechado, pois não é manipulado pela mudança de seleção de texto!

O problema vinculado tem um belo GIF para ver como isso está acontecendo no Mudlet 4.9