Stuart Ballard <stuart@wuffies.net> wrote: > 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? Yeah, I've seen this too. Since I had never used it before I thought this was a missing feature but if you say it worked before then I guess it is a bug. The Gnome pager is pretty cool, though. peloy.-