metomi/rose#844: fix jumping page bug
Merge pull request #859 from benfitzpatrick/844.rose-edit-jump-navigation

#844: rose edit: fix jumping page bug