jQuery Grid Plugin - jqGrid

Hello. First off, great product. We use it heavily at work and I, as the resident web developer, quite enjoy it.

I've just spent a bit of time tracking down a small bug I noticed when I switched my grids to use the true scrolling feature. (On 4.3.2 latest). Basically, given my odd setup with a grid nested inside a scrollable div that is floated inside of an absolutely positioned element (blah blah blah), the scrGrid subfunction to setSelection seemed to be using an incorrectly calculated record position. offsetTop seemed to be returning a value much smaller than what would return correct results (300 as compared to 20000). These incorrect numbers would then cause the grid to jump back to the top every single time a different record is selected (Gee, this sounds like something I'd like to explain to my boss ). Switching offsetTop to jquery's position function made it work perfectly, however.

Old code:

    rpos = $t.rows[iR].offsetTop,

My code:

    rpos = $($t.rows[iR]).position().top,

Maybe this can make it into the actual release code of jqGrid? That would be nice. Otherwise I'll just have to remember to make the change every time I update jqGrid..