Unable to scroll with mouse wheel in large portals
Operating system version
Description of the issue
In a large portal, with quite a lot of conditionnal formating, it is now (since v12) impossible to use the mouse wheel to scroll through lines.
This has nothing to do with scroll speed, as might have been reported in v12 with heavily formated portals. There's just nothing happening.
This happens even if one "forces the focus" on the portal, by clicking for instance on a line to select it, or on the scroll bar.
It works without problem in v11 (of course, on Micr. Windows you must get the focus on the portal, by clicking on it, which is not necessary anymore in v12)
(and if you still have a v9, just give it a try to see how fluid that was, but that's not the point here)
Steps to reproduce the problem
Best is to download example files (v11 & v12 included) :
login : admin
pass : admin
Portal scrolling when using mouse wheel.
no scrolling with wheel, only with scroll bar.
Exact text of any error message(s) that appear
no error message