i should add, too, that the typical way a user confronts this bug is
by right clicking on the desktop pager and selecting the option from
the context menu to change the pager preferences. this results in no
apparent effect, but ultimately, this is what's happening underneath.
i should add, too, that the typical way a user confronts this bug is
by right clicking on the desktop pager and selecting the option from
the context menu to change the pager preferences. this results in no
apparent effect, but ultimately, this is what's happening underneath.