The current page index is changed if a page before it is deleted.
This is to remove a GUI bug.
Authored by: bugman 2011-09-19
Parent: [r14691]
Child: [r14693]
