run() calls set_otions() again at the end to restore old values.
[irspy-moved-to-github.git] / archive / ui
2006-09-21 Mike TaylorAppend
2006-09-21 Mike TaylorNew