Lost feature

[Garst R. Reese]

Alice says that on the Print dialogue she used to be able to enter page
numbers separated by commas to print selected pages. She just noticed
that this feature no longer works. Don't know when it went missing. It
was often more convenient than using gv.
Garst