Mudlet: Полоса прокрутки не перемещается при прокрутке колесика мыши / страницы

Это по-прежнему проблема, и эта проблема связана с теми раздражениями, которые люди испытывают от Mudlet.

Действия по воспроизведению:

1. открыть мудлет, подключиться к игре
2. получить текст в буфере полосы прокрутки
3. Избегайте использования полосы прокрутки для прокрутки, т. е. используйте колесо мыши или трекпад
4. наблюдать, что полоса прокрутки не следует за вашей прокруткой

Подтверждено в Mudlet 3.9, пожалуйста, исправьте, это делает Mudlet сломанным

Кроме того, если вы прокручиваете с помощью мыши, клавиатуры или любого метода без полосы прокрутки, если вы затем щелкаете полосу прокрутки после этого, полоса прокрутки перемещает расположение представления в расположение полосы прокрутки.
IE: он игнорирует любые движения, не выполняемые полосой прокрутки.

Я опубликовал исправление этой проблемы на странице https://github.com/Mudlet/Mudlet/pull/3186 .
Все изменения для этого исправления - это различия между исходным фрагментом выделения текста и фрагментом 1.
Если вам не нужно исправление https://github.com/Mudlet/Mudlet/issues/612 , не используйте патч 1. Если вам нужен https://github.com/Mudlet/Mudlet/issues/ 612 , вы можете объединить его без исправления выделения текста, которое является исходным патчем. Я уверен, что изменение достаточно мало, чтобы вы могли видеть изменения между исправлением выделения текста и исправлением полосы прокрутки.

Ждать! Я удалил весь код из выделения текста и поместил его в отдельную ветку для https://github.com/Mudlet/Mudlet/pull/3198 . Его не следует закрывать, так как он вообще не обрабатывается изменением выделения текста!

Связанная проблема имеет красивую гифку, чтобы увидеть, как это происходит в Mudlet 4.9.