Gnome-pager losing its state

[Stuart Ballard]

Since my last upgrade, gnome-pager no longer seems to store the
properties I associate with it. Is this a bug, or is there a known
workaround?

Thanks,
Stuart.