Bug#1018940: devhelp: Scrolling does not immediately update the view

2022-09-12 Thread Jeremy Bicha
I don't experience this bug, but I'm using Intel graphics and webkit2gtk 2.37.91 (found in Experimental). webkitgtk 2.38 should be released soon and available in Debian Unstable and Testing shortly after that. Thank you, Jeremy Bicha

Bug#1018940: devhelp: Scrolling does not immediately update the view

2022-09-03 Thread Evangelos Ribeiro Tzaras
Some more information below. On Fri, 02 Sep 2022 10:05:40 +0200 Evangelos Ribeiro Tzaras wrote: > Package: devhelp > Version: 43~beta-2 > Severity: normal > > Dear Maintainer, > > on my system devhelp does not scroll as it used to. > If I try scrolling the view either using the mouse scroll whe

Bug#1018940: devhelp: Scrolling does not immediately update the view

2022-09-02 Thread Evangelos Ribeiro Tzaras
Package: devhelp Version: 43~beta-2 Severity: normal Dear Maintainer, on my system devhelp does not scroll as it used to. If I try scrolling the view either using the mouse scroll wheel or by keyboard navigation using the up/down arrow the view will not update. However if I click inside the view