Resetting a terminal is rather a problem than a preference page.