190
190
None, factory.stdout, factory.stdout, factory.get_boolean, "what do you want")
192
196
# use a regular expression so that we don't depend on the particular
193
197
# screen width - could also set and restore $COLUMN if that has
194
198
# priority on all platforms, but it doesn't at present.