When using the Page Navigator, the end user can change the number of expandable items in the shortcut list as well as
their order or visibility. This information is serialized so, when starting the application next time, the user can see
the appearance the same as it was when previously set. The end user can always reset the Page Navigator settings to the
initial state by clicking Reset in the Options dialog.