lars
committed
on 05 Jun 03
search widget: Check to make sure element(options) is set before unsetting it. Otherwise it would cause an error.