We could probably get away with no changes in the oxide API if we get/set the scroll offset from the DOM with a userscript. Not the most elegant solution, but it has the advantage of not requiring any API change in oxide.
We could probably get away with no changes in the oxide API if we get/set the scroll offset from the DOM with a userscript. Not the most elegant solution, but it has the advantage of not requiring any API change in oxide.