Mudlet: Scrollbar tidak bergerak dengan scrolling roda mouse/pg

Ini masih menjadi masalah dan ada di sana dengan kekesalan hewan peliharaan yang dimiliki orang-orang dengan Mudlet.

Langkah-langkah untuk mereproduksi:

1. buka mudlet, sambungkan ke game
2. dapatkan beberapa teks di buffer scrollbar
3. hindari menggunakan bilah gulir untuk menggulir - yaitu gunakan roda mouse atau trackpad
4. amati bilah gulir tidak mengikuti pengguliran Anda dengan benar

Dikonfirmasi di Mudlet 3.9, tolong perbaiki, ini membuat Mudlet tampak rusak

Juga, jika Anda menggulir dengan mouse, atau keyboard, atau metode non scrollbar apa pun, jika Anda kemudian mengklik bilah gulir setelahnya, bilah gulir memindahkan lokasi tampilan ke lokasi bilah gulir.
IE: Ini mengabaikan gerakan apa pun yang tidak dilakukan oleh bilah gulir.

Saya telah mengeluarkan perbaikan untuk masalah ini di https://github.com/Mudlet/Mudlet/pull/3186 .
Seluruh perubahan untuk perbaikan ini adalah perbedaan antara patch pemilihan teks asli, dan patch 1.
Jika Anda tidak ingin https://github.com/Mudlet/Mudlet/issues/612 diperbaiki, jangan gunakan patch 1. Jika Anda menginginkan https://github.com/Mudlet/Mudlet/issues/ 612 fix, Anda dapat menggabungkannya tanpa perbaikan pemilihan teks yang merupakan tambalan asli. Saya yakin perubahannya cukup kecil sehingga Anda dapat melihat perubahan antara perbaikan pemilihan teks dan perbaikan bilah gulir.

Tunggu! Saya menghapus semua kode dari pemilihan teks, dan menempatkannya di cabang terpisah untuk https://github.com/Mudlet/Mudlet/pull/3198 . Ini tidak boleh ditutup karena tidak ditangani oleh perubahan pemilihan teks sama sekali!

Masalah terkait memiliki gif yang bagus untuk melihat tindakan ini terjadi di Mudlet 4.9